Alternating automaton

Redirect to:

• Alternating finite automaton