dfa minimization example