a presentation on deterministic finite automata.