Generalized nondeterministic finite automaton: Difference between revisions