ADD DFA_Minimization class
work in DFA_Minimization