Máquina de Turing
Inductive Turing machine