Formale Sprachen, abstrakte Automaten und Compiler

Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, anschaulich vermittelt und in Übungen vertieft. Durch das gesamte Buch hindurch zieht sich das Vorhaben, einen Compiler für eine Sprache mit grafischen Effekten herzustellen. An den entsprechenden Stellen werden die dafür notwendigen Beiträge erarbeitet und Aspekte automatisierter Compilergenerierung thematisiert.

Zur Modellierung formaler Sprachen, regulärer Ausdrücke, abstrakter Automaten und zur automatisierten Compilergenerierung aus einer grafisch-visuellen Beschreibung stellt AtoCC miteinander vernetzter Komponenten zur Verfügung. Die Lern- und Arbeitsumgebung AtoCC wurde speziell für das Studium der theoretischen Informatik entwickelt und bereits an mehreren Hochschulen und Schulen erfolgreich eingesetzt. AtoCC vertieft Theoriewissen durch praktische Übungen und attraktive Anwendungsprojekte aus dem Grafik- und Audiobereich. Übersetzung und Verarbeitung mehr oder weniger komplexer Sprachen finden wir heute beispielsweise auch in modernen Web-Applikationen.

Theoretische Informatik mit echten praktischen Anwendungen

Autorentext

Prof. Dr. Christian Wagenknecht, Hochschule Zittau/Görlitz, FB Informatik
Michael Hielscher, Pädagogische Hochschule Bern, Zentrum für Bildungsinformatik (ZBI)

Inhalt
Struktur von Programmen.- Grundbegriffe.- Definition unendlicher Mengen.- Sprachübersetzer.- Endliche Automaten und reguläre Sprachen.- Reguläre Ausdrücke.- Kellerautomaten und kontextfreie Sprachen.- LL(k)-Sprachen.- LR(k)-Sprachen.- Sprachübersetzerprojekt.- Turing-Maschine (TM) und Chomsky-Typ-0/1-Sprachen.