DFA minimization started.