Non-deterministic Turing machine