finished generating automaton