This book is an introduction for undergraduates to the theory of computation. It emphasizes formal languages, automata and abstract models of computation, and computability. Contents same as US/UK editions.
"synopsis" may belong to another edition of this title.