Close this alert
Automata and Computability (Undergraduate Texts in Computer Science)
Current price:
$54.99
Publication Date: October 13th, 2012
Publisher:
Springer
ISBN:
9781461273097
Pages:
400
Usually Ships in 1 to 5 Days
Description
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.
Other Books in Series
Data Structures and Algorithms: An Object-Oriented Approach Using ADA 95 (Undergraduate Texts in Computer Science)
Paperback
Migrating from Pascal to C++ (Undergraduate Texts in Computer Science)
Paperback
Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)
Hardcover
C Programming: The Essentials for Engineers and Scientists (Undergraduate Texts in Computer Science)
Hardcover
C Programming: The Essentials for Engineers and Scientists (Undergraduate Texts in Computer Science)
Paperback
Automata and Computability (Undergraduate Texts in Computer Science)
Hardcover
Problem Solving with FORTRAN 90: For Scientists and Engineers (Undergraduate Texts in Computer Science)
Paperback
Programming and Meta-Programming in Scheme (Undergraduate Texts in Computer Science)
Paperback
Data Structure Programming: With the Standard Template Library in C++ (Undergraduate Texts in Computer Science)
Paperback
Objects and Systems: Principled Design with Implementations in C++ and Java (Undergraduate Texts in Computer Science)
Hardcover
Objects and Systems: Principled Design with Implementations in C++ and Java (Undergraduate Texts in Computer Science)
Paperback
Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)
Hardcover
Problem Solving with FORTRAN 90: For Scientists and Engineers (Undergraduate Texts in Computer Science)
Hardcover
Data Structure Programming: With the Standard Template Library in C++ (Undergraduate Texts in Computer Science)
Hardcover
Programming and Meta-Programming in Scheme (Undergraduate Texts in Computer Science)
Hardcover
Data Structures and Algorithms: An Object-Oriented Approach Using ADA 95 (Undergraduate Texts in Computer Science)
Hardcover
Migrating from Pascal to Cp++s (Undergraduate Texts in Computer Science)
Hardcover