John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.
Introduction to Automata Theory, Languages, and Computation: 2nd edn.
Addison Wesley. 2001
(read but not reviewed)