Deterministic Finite Automata (Example 2)