Introduction to Languages and the Theory of Computation by John C. Martin

This book is an introduction for undergraduates to the theory of computation. It emphasizes formal languages, automata and abstract models of computation, and computability. It also includes an introduction to computational complexity and NP-completeness.