Machine

A method for producing infinite Loop Spaces and spectra.

See also Gadget, Loop Space, May-Thomason Uniqueness Theorem, Turing Machine