Introduction to automata theory languages and computation - Hopcroft, John E. (Delhi : Pearson Education, 2007)