[SLIDE] 1. Deterministic Finite Automata (DFA)