Turing machine
Alternating Turing machine