Second Course in Formal Languages and Automata Theory

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