nondeterministic turing machine

Input interpretation

nondeterministic Turing machine