Introduction to automata theory, languages, and computation - Hopcroft, John E. (Reading, Mass. Addison-Wesley, 1979)
Keywords: Machine theory; Formal languages; Computational complexity