minimal DFA finished