alternating turing machine

[cite:;refer to @complexity_vollmer_1999 chapter 2.5 alternating turing machines]