图灵机
Deterministic Turing machine.