Introduction To Automata Theory Languages And Computation - "Hoperoff, E.John ;Ullman,D.Jeffery"
15