Turing machine
Deterministic Turing machine.