Máquina de Turing
Nondeterministic Turing machine