チューリングマシン
Non-deterministic Turing machine