Introduction to the Theory of Computation
||Author: Michael Sipser|
List Price: $103.95
Our Price: Click to see the latest and low price
Publisher: Brooks Cole (13 December, 1996)
Sales Rank: 42,091
Average Customer Rating: 4.68 out of 5
Customer ReviewsRating: 5 out of 5
A Near Perfect Computer Theory Textbook
This book is suitable for beginners and graduate students who want to explor the theory of computation . It explains the hard theory and logic by easy sentences and words. Even if you use English as foreign language , you can read this book by yourself and understand its contents easily. This book is near perfect.
Rating: 5 out of 5
An EXCELLENT Automata/Theory of Computation book
This book is one of the best written books on Automata/Theory of Computation that I have ever seen. It is a great introduction to the subject. It's also a great way to review the key topics.
One of the greatest things about this book is its focus on developing an intuitive understanding of the concepts and proofs. Other books do a better job of formal proofs but this book is light years ahead of any other in terms of helping you develop an intuitive understanding of why a given proof or construction is correct. It's a lot better than the memorize/regurgitate model necessitated by the emphasis on minutiae of other books.
Lastly, this book provides great tips on how to approach problem solving (especially proofs).
Rating: 5 out of 5
Excellent introduction to computer science theory
This book is aimed as an introductory text book on computer science theory. The book is suited for both undergraduate and graduate studies. The first three chapters of the book, regular expressions, context free languages and the church-turing thesis are apt for an introductory class for the undergraduate level. The remaining 7 chapters provide more than enough content for advanced undergraduate or graduate studies.
This is the first book on computer science theory that I have seen, which is actually written in understandable English. As compared to the previous introductory texts by Hopcroft or Papadimitriou, Sipser shuns writting the entire book using just symbols of formal mathematics. This is not to say that there is no formalism in the book. There is adequate use of formal mathematics in the proofs of the book, but not so much as to scare even in most intrepid readers like in previous books on this subject.The fact I liked most about this book is that every proof in the book is accompanied by a "Proof Idea" which explains using diagrams and plain english how exactly the proof works. This followed by the formal proof. The problems at the end of each chapter are fairly interesting, and some of the * marked problems can be fairly challenging for a first time student.
Another amazing thing about this book is the amount of content it covers. I would have never expected a book of only 400 pages to cover computer science theory all the way from introductory undergraduate to advanced graduate levels. This is because, the author focusses only on core concepts and strives to make them as clear as possible. For example, this book has only one chapter on regular expressions, while every other book that I have seen has at least 3-4 chapters full of gory details. This is because Sipser does not go into the gory mechanical details of converting DFAs to NFAs, or writing Turing machines and so on, but instead explains just the important concepts and gives a few examples. Also a wealth of information is to be found in the problems at the end of the chapter. Many of these problems like the Myhill-Nerode theorem are of the kind you will find actually proved in other texts, but left as an excercise here. This is because they are relatively simple to prove once all the concepts are understood. Moreover an educator has the option of which of these problems they want to delve deeper into.
Any student who studies or wishes to study computer science theory should definately get their hands on this book, irrespective of whether they have already used a different book.
· Computers and Intractability: A Guide to the Theory of Np-Completeness (Series of Books in the Mathematical Sciences)
· Computer Organization and Design Second Edition : The Hardware/Software Interface
· Introduction to Algorithms, Second Edition
· Computational Complexity
· Introduction to Automata Theory, Languages, and Computation (2nd Edition)