Introduction to automata theory, languages, and computation - Hopcroft, John E. 1939-; Motwani, Rajeev 1962-2009; Ullman, Jeffrey D. 1942-