solve problem in DFA_Minimization :D