Introduction to automata theory, languages, and computation - Hopcroft, John E. Rajeev Motwani Jeffrey D. Ullman (New Delhi Pearson Education, 2007)
Keywords: Machine theory -- Computational complexity -- Finite automata -- Grammar language -- Formal language -- Turing machines -- FC