Non-deterministic Turing machine

Summary