Textbook:

[IALC2]

John Hopcroft, Rajeev Motwani, and Jeffrey Ullman, Introduction to Automata Theory, Languages and Computation, 2nd ed, 2001.
ISBN: 0-201-44124-1
[textbook's home page] with links to similar courses taught by the authors.