Turing machine
Non-deterministic Turing machine