Máquina de Turing
Non-deterministic Turing machine