A textbook for a graduate course on formal languages and automata theory, building on prior knowledge of theoretical computer models.