/var/logmarcus chiu

/var/log

❯

Mathematics

❯

Computational Theory - Theory of Computation

❯

Automata Theory

❯

Automata (Sequential Model of Computation)

Turing Machine (TM)

Created on Sep 13, 2021 · Last Modified on May 21, 2026

Turing Machine (TM)
  • is a mathematical model of a hypothetical computing machine which can use a predefined set of rules to determine a result from a set of input variables

TM - 4 Main Components

  • Infinite length magnetic tape
  • Read/Write head
  • Rules table / FSM
  • State register

Variants

  • Deterministic Turing Machine (DTM)
  • Non-Deterministic Turing Machine (NTM)
  • Probabilistic Turing Machine (PTM)
  • Quantum Turing Machine (QTM)