---

Dieses Lehrbuch behandelt Schritt für Schritt alle wichtigen Themen, die Studierende für Ihren Prüfungserfolg benötigen. Über 100 Beispiele, zahlreiche Abbildungen und Hinweise auf beliebte Fehler helfen Ihnen, die Theoretische Informatik zu verstehen und die aufeinander abgestimmten Übungsaufgaben zu lösen. Zu allen Aufgaben finden Sie ausführliche Musterlösungen.
In jedem der klar und übersichtlich strukturierten Kapitel werden praktische Anwendungen der behandelten Konzepte vorgestellt, die bis in aktuelle Forschungsgebiete der Informatik reichen.
Die 2., vollständig überarbeitete Auflage enthält einen neuen und einzigartigen Ansatz zur Darstellung der Berechenbarkeit und Komplexität, der einen leichteren Zugang zu diesem Thema ermöglicht.

---

Vorwort.- Grundlagen.- Definitionen und Sätze.- Aussagenlogik.- Mengen.- Beweistechniken.- Die 0-Notation.- Graphen.- Relationen.- Automaten und formale Sprachen.- Formale Sprachen als Wortmenge.- Kontextfreie Sprachen.- 0L-Systeme.- Typ-0-Sprachen.- Die Chomsky-Hierarchie.- Berechenbarkeit und Komplexität.- Berechnungsmodelle.- Entscheidbarkeit.- Komplexitätstheorie.- Lösungen der Aufgaben.- Anhang.- Index.

---

Boris Hollas ist Professor für Theoretische Informatik und Künstliche Intelligenz an der Hochschule für Technik und Wirtschaft (HTW) Dresden.

---