Introduction to automata theory, languages, and computation - HOPCROFT (John E); ULLMAN (Jeffrey) (New Delhi Narosa Publishing House, 2002)