图灵机
Inductive Turing machine