Turing machine
Inductive Turing machine