Theory of Computation
Seiten
2025
BoD – Books on Demand (Verlag)
978-3-6951-5939-0 (ISBN)
BoD – Books on Demand (Verlag)
978-3-6951-5939-0 (ISBN)
Theory of Computation - Clear, Concise, and Practical
This book guides you step by step through the fundamentals of formal languages and computability: from finite automata to pushdown automata and context-free grammars, all the way to the powerful Turing machine. You will not only learn about the formal models but also understand the proof techniques used to establish properties of languages - and, above all, where the limits of computability lie.
With numerous examples, illustrative graphics, clear proofs, and exercises with sample solutions, this book is ideal for students, instructors, and anyone who wants to systematically dive into the subject. Key concepts such as the Pumping Lemma, Myhill-Nerode theorem, Kleene's theorem, diagonalization, and Rice's theorem are presented in an accessible way and discussed with respect to their implications.
Special emphasis is placed on clarity and practicality: chapters are modular, proofs are fully detailed, and wherever technicalities might be distracting, intuition is highlighted. A wealth of exercises and their solutions encourages active understanding - perfect as a companion to lectures or for self-study.
Whether you are seeking foundational knowledge for advanced courses (e.g., complexity theory) or want to build solid mathematical skills in computation theory, this book provides a well-structured, readable introduction to one of the central areas of theoretical computer science.
This book guides you step by step through the fundamentals of formal languages and computability: from finite automata to pushdown automata and context-free grammars, all the way to the powerful Turing machine. You will not only learn about the formal models but also understand the proof techniques used to establish properties of languages - and, above all, where the limits of computability lie.
With numerous examples, illustrative graphics, clear proofs, and exercises with sample solutions, this book is ideal for students, instructors, and anyone who wants to systematically dive into the subject. Key concepts such as the Pumping Lemma, Myhill-Nerode theorem, Kleene's theorem, diagonalization, and Rice's theorem are presented in an accessible way and discussed with respect to their implications.
Special emphasis is placed on clarity and practicality: chapters are modular, proofs are fully detailed, and wherever technicalities might be distracting, intuition is highlighted. A wealth of exercises and their solutions encourages active understanding - perfect as a companion to lectures or for self-study.
Whether you are seeking foundational knowledge for advanced courses (e.g., complexity theory) or want to build solid mathematical skills in computation theory, this book provides a well-structured, readable introduction to one of the central areas of theoretical computer science.
Lucien Sina is an experienced computer scientist and educator with a passion for making complex topics accessible. He has years of experience in developing and analyzing algorithms and guides readers through the essential concepts of computer science.
| Erscheint lt. Verlag | 30.9.2025 |
|---|---|
| Sprache | englisch |
| Maße | 120 x 190 mm |
| Gewicht | 169 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Automata Theory • Computability Theory • Formal Languages • theoretical computer science • Theory of Computation |
| ISBN-10 | 3-6951-5939-1 / 3695159391 |
| ISBN-13 | 978-3-6951-5939-0 / 9783695159390 |
| 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
