Put final states in DFA generator.