http://www-math.mit.edu/~sipser/book.html
Author: Michael Sipser
Published by the PWS Publishing Company.
Textbook for an upper division undergraduate and introductory graduate level course covering automata theory, computability theory, and complexity theory.