Nondeterministic automaton recognizer