Add nondeterministic Turing machine