Introduction To Automata Theory Lagnuages And Computation - Hopcroft,J.E.; Motwani,Rajeev (New Delhi Pearson Education [Addison Wesley], 2009)