Introduction to automata theory, languages, and computation - Hopcroft, John E.; Ullman, Jeffrey D.; Motwani, Rajeev (Pearson, 2009)
Keywords: Machine theory; Formal languages; Computational complexity