Section 15.2

Deterministic Finite Automata