Talk:Generalized nondeterministic finite automaton