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