Introduction to the Theory of Computation, Second Edition
by Michael Sipser
|
List Price: $148.95
Our Price: $50.00
Your Save: $ 98.95 ( 66% )
Availability: Usually ships in 24 hours
Manufacturer: Course Technology
|
Average Customer Rating:  
|
|
Binding: Hardcover
Dewey Decimal Number: 511.35
EAN: 9780534950972
ISBN: 0534950973
Label: Course Technology
Number Of Items: 1
Number Of Pages: 456
Publication Date: 2005-02-15
Publisher: Course Technology
Studio: Course Technology
|
|
|
|
|
|
Spotlight customer reviews:
|
Customer Rating:
Summary: Excellent presentation of the material
Comment: I would recommend this book to anyone looking to learn the basics of computation theory and formal languages or for someone looking to revisit this material after an absence.
The book is very readable and covers the basics in a systematic fashion. I haven't looked at this material since my university days, but found it very easy to read and digest.
Customer Rating: 
Summary: A very nice book for undergraduates and graduates to understand computation theory.
Comment: I had read a few other books on automata, but I was not able to get clear notion about pumping lemmas, decidability and so on. However, when I read the 1st edition of this book, finally, I got those concepts. One of great things in this book is proof ideas. This book has very clear and concise explanations about proofs.
I bought 2nd edition of this book, since it has lots of solved problems and exercises. those solved problems will boost your understanding the text and they contains a few things you should know, but omitted in the text.
If you don't understand many concepts in automata and computability with other textbooks, I strongly recommend this book.
Customer Rating:
Summary: Don't be afraid of the proofs
Comment: This is a great book. The topics are covered in a clear and interesting way. I came to this book after having been exposed to NFA's and DFA's in a compiler course and this exposition is much more enlightening. The proofs in this book are very well written in my opinion, very clear. Studying proof techniques in a book such as Solow's "How to Read and Do Proofs" will prepare you well to understand the proofs in this book.
Customer Rating:
Summary: dont buy this version
Comment: Go buy an international version which is a lot cheaper than this, and they have the same contents. This version is also printed in Black and White and the paper is really cheap. Don't make a mistake like me buying same product for 90$ more. Again, the only difference between hardcover and softcover(international ver) is the price.
Customer Rating:
Summary: My choice for textbook in my computation theory class
Comment: I recently encountered this book at a publisher's booth at a computer conference and read it on the ride back home. This morning I made a trip to the college bookstore and notified them that it is the textbook that I will be using in my computation theory class this spring.
The chapter titles are:
0) Introduction - this chapter contains the fundamental mathematical background of sets, functions, graphs and proofs. For most students, it could be skipped or skimmed.
1) Regular languages - this chapter is an introduction to deterministic and nondeterministic finite automata and regular expressions.
2) Context-free languages - an introduction to context-free grammars and pushdown automata.
3) The Church-Turing theses - an introduction to Turing machines and the variants, such as multiple tapes and nondeterministic Turing machines.
4) Decidability - the definition of decidability and how Turing machines and finite automata are used to prove or disprove if a language is decidable.
5) Reducibility - the definition of reducible and how Turing machines can be used to execute reductions.
6) The recursion theorem - an introduction to the recursion theorem and some applications to formal theories.
7) Time complexity - the first chapter in the coverage of algorithmic complexity, in this case execution time.
8) Space complexity - an examination of the complexity of algorithms from the perspective of the amount of memory required.
9) Intractability - an examination of the problems that can be solved in principle but not in practice.
10) Advanced topics in complexity theory - approximation algorithms, probabilistic algorithms, alternation, interactive proof systems, parallel computation and cryptography.
There is less coverage of grammars than most books, which is replaced by more in the area of algorithmic analysis. In my opinion, that is an appropriate tradeoff, the analysis of algorithms gives the students some understanding of how automata are applied in computer science.
Another excellent feature of this book is the solutions to selected exercises that appear at the end of the chapters. My estimate is that reasonably detailed solutions to approximately one-third of the problems are included. This allows the students to work extra problems by themselves, and helps the instructor if they are asked to do another example in class that they have not already worked through.
The exposition is very good; I am convinced that the students will be able to read the material on their own, which is one more reason why I adopted this book for my course.
|
|
|
Editorial Reviews:
|
Customer Rating:
Summary: Excellent presentation of the material
Comment: I would recommend this book to anyone looking to learn the basics of computation theory and formal languages or for someone looking to revisit this material after an absence.
The book is very readable and covers the basics in a systematic fashion. I haven't looked at this material since my university days, but found it very easy to read and digest.
Customer Rating:
Summary: A very nice book for undergraduates and graduates to understand computation theory.
Comment: I had read a few other books on automata, but I was not able to get clear notion about pumping lemmas, decidability and so on. However, when I read the 1st edition of this book, finally, I got those concepts. One of great things in this book is proof ideas. This book has very clear and concise explanations about proofs.
I bought 2nd edition of this book, since it has lots of solved problems and exercises. those solved problems will boost your understanding the text and they contains a few things you should know, but omitted in the text.
If you don't understand many concepts in automata and computability with other textbooks, I strongly recommend this book.
Customer Rating:
Summary: Don't be afraid of the proofs
Comment: This is a great book. The topics are covered in a clear and interesting way. I came to this book after having been exposed to NFA's and DFA's in a compiler course and this exposition is much more enlightening. The proofs in this book are very well written in my opinion, very clear. Studying proof techniques in a book such as Solow's "How to Read and Do Proofs" will prepare you well to understand the proofs in this book.
Customer Rating:
Summary: dont buy this version
Comment: Go buy an international version which is a lot cheaper than this, and they have the same contents. This version is also printed in Black and White and the paper is really cheap. Don't make a mistake like me buying same product for 90$ more. Again, the only difference between hardcover and softcover(international ver) is the price.
Customer Rating:
Summary: My choice for textbook in my computation theory class
Comment: I recently encountered this book at a publisher's booth at a computer conference and read it on the ride back home. This morning I made a trip to the college bookstore and notified them that it is the textbook that I will be using in my computation theory class this spring.
The chapter titles are:
0) Introduction - this chapter contains the fundamental mathematical background of sets, functions, graphs and proofs. For most students, it could be skipped or skimmed.
1) Regular languages - this chapter is an introduction to deterministic and nondeterministic finite automata and regular expressions.
2) Context-free languages - an introduction to context-free grammars and pushdown automata.
3) The Church-Turing theses - an introduction to Turing machines and the variants, such as multiple tapes and nondeterministic Turing machines.
4) Decidability - the definition of decidability and how Turing machines and finite automata are used to prove or disprove if a language is decidable.
5) Reducibility - the definition of reducible and how Turing machines can be used to execute reductions.
6) The recursion theorem - an introduction to the recursion theorem and some applications to formal theories.
7) Time complexity - the first chapter in the coverage of algorithmic complexity, in this case execution time.
8) Space complexity - an examination of the complexity of algorithms from the perspective of the amount of memory required.
9) Intractability - an examination of the problems that can be solved in principle but not in practice.
10) Advanced topics in complexity theory - approximation algorithms, probabilistic algorithms, alternation, interactive proof systems, parallel computation and cryptography.
There is less coverage of grammars than most books, which is replaced by more in the area of algorithmic analysis. In my opinion, that is an appropriate tradeoff, the analysis of algorithms gives the students some understanding of how automata are applied in computer science.
Another excellent feature of this book is the solutions to selected exercises that appear at the end of the chapters. My estimate is that reasonably detailed solutions to approximately one-third of the problems are included. This allows the students to work extra problems by themselves, and helps the instructor if they are asked to do another example in class that they have not already worked through.
The exposition is very good; I am convinced that the students will be able to read the material on their own, which is one more reason why I adopted this book for my course.
This highly anticipated revision builds upon the strengths of the previous edition. Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.
|
|
|
|
|
|
| eFinancialDistrict Market Place |
| CreditReporting.com | The FTC advises monitoring your CREDIT REPORT activity ON ALL 3 BUREAUS. Order your 3-bureau report from CreditReporting.com today. | |
| TaxBrain Online Tax Service | Prepare and E-File Online. Fast Refunds. TaxBrain.Com | |
| Loans.co.uk Partner Programme | Debt Worries? Consolidate your debts with a Secured Loan and benefit from affordable monthly payments. Click here | |
|
What is eFinancialDistrict Market Place?
eFinancialDistrict is a full-featured finance and accounting portal, and this book store is a part of it.
Since the book store selectively offers finance and accounting books and other related products,
our guess is that you are also interested in various finance and banking services.
This market place lists links to those services. Half of services offer you free information for you
to find out more about those services. Of course, it is completely free to request information.
If you find something interesting, just click on it! |
|
|
