alternating Turing machines