Deterministic Finite Automata (Example 1)