MODULE 2:   Finite Automata
Deterministic Finite Automata 2