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