Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft & Jeffrey D. Ullman & Rotwani & Rajeev Motwani