Alternating automaton

From Free net encyclopedia