Introduction to automata theory, languages and computation/ed.3 - Hopcroft, John E et al (Pearson, 2012)