Introduction to Automata Theory, Languages, and Computation - Hopcroft, John E.; Motwani, Rajeev, Ullman, Jeffrey D. (Noida : Pearson, 2008)
Keywords: Machine theory; Formal languages; Computational complexity