Introduction to automata theory, languages, and computation - Hopcroft, John E; Motwani, Rajeev; Ullman, Jeffrey D (Boston, MA: Pearson Education, Inc, 2007)
Keywords: Machine theory; Computational complexity; Formal languages