the original automaton recognized GF!a