John E. Hopcroft, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation.