YOUR TOP 10 FAVORITE CLASSICS
Recently on Facebook, Twitter and Instagram, we asked for you favorite classic […]
D. C. Kozen
Hello, I'm an eBook!
ATTENTION: This item is an eBook. It can be read on iOS, Android, MAC and PC's with a supported eReader. It is not a physical book. eBooks are available via download immediately after you've checked out.
Shipped from other seller
May ship separately
Ships separately from Better World Books suppliers
Kings Ridge Media
Super Book Deals
Herb Tandree Philosophy Books
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in analyses of effective computability, decidability, and G del's incompleteness theorems. Students who already have some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.
Save on 4 or more used books that ship from our warehouse. Get discount code »
Our gift certificates are quick, easy and sure to suit everyone, perfectly. Order Gift Certificates »
We match every book you purchase with a book donation. Learn more »
Sign up now to get news, sales and special promotions!
© Better World Books (BetterWorldBooks.com)