Equivalence of DFA with examples