First DFA Minimization example works.