Introduction to Automata Theroy Languages and Computation - Hopcroft, John; Others (Vidhyanagar Pearson, 2009)