チューリングマシン
Deterministic Turing machine.