Publisher's Synopsis
Martin provides undergraduates with an introduction to the theory of computation, emphasising formal languages, automata and abstract models of computation and computability. He also introduces computational complexity and NP-completeness.