图灵机
Alternating Turing machine