Introduction to Automata theory, languages and computation - Hopcroft, J.E.; Rajeev Motwani; Ullman,J.D. (Pearson Education, 2005)
English