Title: Introduction to Automata Theory, Languages, and Computation

Author: John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman