チューリングマシン
Nondeterministic Turing machine