Alternating automaton

Summary