Introduction to Automata Theory, Languages, and Computation 3/E - Hopcroft, John; Others (Vidhyanagar Pearson, 2007)