Turing machine
Deterministic Turing machine