Introduction to automata theory languages, and computation - Hopcroft, John E. (John Edward); Ullman, Jeffrey D. (New Delhi Narosa Publications, 1999)