Maths›03. Logic and Foundations11.1 Machine DefinitionsFormal definition of Turing machines, including states, tape, alphabets, and transition functions.
Maths›03. Logic and Foundations10.4 Formal Models of ComputationTuring machines, register machines, lambda calculus, recursive functions, and the precise mathematical models used to define computation.