adding DFA minimizer