Einführung in die Theoretische Informatik

Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in zwei grundlegende Gebiete der theoretischen Informatik: Formale Sprachen und Automatentheorie.
Der Autor vermittelt einen fundierten Einblick in die Formalisierung und algorithmische Aufbereitung von Problemen, damit diese durch den Computer gelöst werden können. Anhand der vier Stufen der Chomsky-Hierarchie werden Kenntnisse zur Beurteilung des Schwierigkeitsgrads eines Problems vermittelt. Alle behandelten Themen sind unentbehrlich für das Verständnis wichtiger Konzepte der Informatik wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache. Das Buch beinhaltet Abschnitte zu Formalen Sprachen, Grammatikformalismen, endlichen Automaten, Kellerautomaten und Turingmaschinen.
Ein eigener Abschnitt ist der Internet-Technologie XML gewidmet mit einer Einordnung in die Theorie der formalen Sprachen. Insbesondere werden die Grundprinzipien von Document Type Definitions und XML-Schemata, den Spezifikationsstandards für XML-Dokumente, in Form von anschaulichen Beispielen dargelegt.