Alternating_Turing_machine