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