Introduction to Automata Theory, Languages, and Computation - Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. ([S.l.] : Prentice Hall, 2013)
Keywords: Machine theory; Formal languages; Computational complexity