Introduction to automata theory, languages, and computation (2001)

by J E Hopcroft, R Motwani, J D Ullman
Venue:Addison-Wesley series in computer science. Addison-Wesley-Longman