Added DFA minimization