图灵机
Deterministic Turing machine