Minimization DFA.