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