Work on automaton generator.