Alternating automaton
Redirect to:
Alternating finite automaton