alternating Turing machine

Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences A nondeterministic Turing machine containing a rule for accepting computations that generalizes the rules used in the definition of the complexity classes NP and co-NP.