minimization of dfa using equivalence theorem