Turing machine
Nondeterministic Turing machine