Introduction to automata theory, languages, and computation - Hope, Anthony (Delhi, 2006)