Introduction to Automata Theory,Languages,and Comp - J Hopcroft; J Ullman; R Motwani (Person, 2009)