Introduction To Automata Theory, Languages, and Computation - Hopcroft, John.E; Motwani, Rajeev; Ullman, Jeffrey D. (New Delhi : Pearson Education, 2013)
Keywords: Machine theory; Formal languages; Computational complexity