Introduction to automata theory, languages and computation - Hopcroft, John.; Motwani, Rajeev; Ullman, Jeffrey D. (Upper Saddle River, NJ : Pearson, 2003)
1 3
Keywords: Machine theory; Formal languages; Computational complexity