Minimization of DFA