Now you can clearly present even the most complex computational theory topics to your students with Sipser’s distinct, market-leading INTRODUCTION TO THE THEO

"Intended as an upper-level undergraduate or introductory graduate text in computer science theory," this book lucidly covers the key concepts and theorems of t

Provides an introduction to the theory of computation that emphasizes formal languages, automata and abstract models of computation, and computability. This boo

Formal languages and automata theory is the study of abstract machines and how these can be used for solving problems. The book has a simple and exhaustive appr

A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models