Alternating Turing Machine