Introduction to automata theory, languages, and computation - Hopcroft, John E., 1939- (Pearson ; Dorling Kindersley, 2008)