Non-deterministic Turing machine simulator.