Introduction to automata theory, languages, and computation - Hopcroft, John E; Ullman, Jeffrey D. (Reading Addison-Wesley Pub. Co., 1979)
Keywords: COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGE; MACHINE THEORY