Turing
Sections
NuprlLIB
Doc
Definition of Turing Machine