Introduction to automata theory languages and computation - Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (New Delhi : Pearson Education, 2002)
Keywords: Regular expressions and languages; Pushdown automata; Intratable problems