In automata theory, an alternating finite automaton is a nondeterministic finite automaton whose transitions are divided into existential and universal transitions. For example, let A be an alternating automaton. For an existential transition, A... Wikipedia