Introduction to automata theory, languages, and computation - Hopcroft, John E. (Pearson Education (Singapore), 2001)