Introduction to Automata Theory,Languages,and Computation/ed.3 - Hopcroft,John E, Motwani,Rajeev and Ullman,Jeffrey D. (Pearson;, 2008)