Introduction to Languages & the Theory O

Introduction to languages and the theory of computation is a highly popular text which provides an introduction to the theory of computation emphasizing on formal languages, automata and abstract models of computation, and computability; it also includes an introduction to computational complexity and np-completeness.