Deterministic finite automata

Summary