Introduction To Automata Theory, Languages, And Computation door Rajeev Motwani & John E. Hopcroft