Formal Models Of Computation: The Ultimate Limits Of Computing
Seiten
2001
World Scientific Publishing Co Pte Ltd (Verlag)
9789810245009 (ISBN)
World Scientific Publishing Co Pte Ltd (Verlag)
9789810245009 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
This text provides presentations of standard computational methods that help avoid pitfalls of the conventional description methods. It also includes approaches to some of the topics that students normally find the most challenging. It has evolved in response to student feedback.
This book provides new presentations of standard computational models that help avoid pitfalls of the conventional description methods. It also includes novel approaches to some of the topics that students normally find the most challenging. The presentations have evolved in response to student feedback over many years of teaching and have been well received by students.The book covers the topics suggested in the ACM curriculum guidelines for the course on “Theory of Computation”, and in the course on “Foundations of Computing” in the model liberal arts curriculum. These are standard courses for upper level computer science majors and beginning graduate students.The material in this area of computing is intellectually deep, and students invariably find it challenging to master. This book blends the three key ingredients for successful mastery. The first is its focus on the mingling of intuition and rigor that is required to fully understand the area. This is accomplished not only in the discussion and in examples, but also especially in the proofs. Second, a number of practical applications are presented to illustrate the capacity of the theoretical techniques to contribute insights in a variety of areas; such presentations greatly increase the reader's motivation to grasp the theoretical material. The student's active participation is the third and final major element in the learning process, and to this end an extensive collection of problems of widely differing difficulty is incorporated.
This book provides new presentations of standard computational models that help avoid pitfalls of the conventional description methods. It also includes novel approaches to some of the topics that students normally find the most challenging. The presentations have evolved in response to student feedback over many years of teaching and have been well received by students.The book covers the topics suggested in the ACM curriculum guidelines for the course on “Theory of Computation”, and in the course on “Foundations of Computing” in the model liberal arts curriculum. These are standard courses for upper level computer science majors and beginning graduate students.The material in this area of computing is intellectually deep, and students invariably find it challenging to master. This book blends the three key ingredients for successful mastery. The first is its focus on the mingling of intuition and rigor that is required to fully understand the area. This is accomplished not only in the discussion and in examples, but also especially in the proofs. Second, a number of practical applications are presented to illustrate the capacity of the theoretical techniques to contribute insights in a variety of areas; such presentations greatly increase the reader's motivation to grasp the theoretical material. The student's active participation is the third and final major element in the learning process, and to this end an extensive collection of problems of widely differing difficulty is incorporated.
Part 1 The finite state paradigm: regular expressions and acceptors; properties of regular languages; transducers and other variations. Part 2 Context-free grammars and automata: basic grammar definitions; pushdown store automata; properties of context-free languages. Part 3 General computability models: context-sensitive languages; Turing machines and computability; the universal machine and impossible computations.
| Erscheint lt. Verlag | 12.3.2001 |
|---|---|
| Reihe/Serie | Amast Series In Computing ; 7 |
| Verlagsort | Singapore |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| ISBN-13 | 9789810245009 / 9789810245009 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
