Two-way nondeterministic finite automaton

Redirect page