DFA minimization works at last. Now to make code generators.