Hopcroft and Ullman (1979)

Hopcroft J.E. and Ullman J.D. (1979)

Introduction to automata theory, languages and computation

Addison-Wesley