\newcommand{\lecturetitle}{Automata Theory \;{::}\; Finite Automata}

\input{../opening.tex}

\themex{Deterministic Finite Automata}