Alternating Turing machine
= Alternating Turing machine
{wiki=Alternating_Turing_machine}
An Alternating Turing Machine (ATM) is a theoretical model of computation that extends the regular Turing machine by incorporating the concept of nondeterminism in a more expressive way. It is part of the class of automata used in computational complexity theory.