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