Hopcroft and Ullman (1979)
Hopcroft J.E. and Ullman J.D. (1979)
Introduction to automata theory, languages and computation
Addison-Wesley