Elements of Automata Theory
A dense reference on automata theory, this book explores formal languages, finite automata, context-free grammars, pushdown machines, Turing machines, decidability, and complexity with rigorous proofs and illustrative examples.