Formale Sprachen, abstrakte Automaten und Compiler

Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, anschaulich vermittelt und in Ubungen vertieft. Durch das gesamte Buch hindurch zieht sich das Vorhaben, einen Compiler fur eine Sprache mit grafischen Effekten herzustellen. An den entsprechenden Stellen werden die dafur notwendigen Beitrage erarbeitet und Aspekte automatisierter Compilergenerierung thematisiert. Zur Modellierung formaler Sprachen, regularer Ausdrucke, abstrakter Automaten und zur automatisierten Compilergenerierung aus einer grafisch-visuellen Beschreibung stellt AtoCC miteinander vernetzte Komponenten zur Verfugung. Die Lern- und Arbeitsumgebung AtoCC wurde speziell fur das Studium der theoretischen Informatik entwickelt und bereits an mehreren Hochschulen und Schulen erfolgreich eingesetzt. AtoCC vertieft Theoriewissen durch praktische Ubungen und attraktive Anwendungsprojekte aus dem Grafik- und Audiobereich. Ubersetzung und Verarbeitung mehr oder weniger komplexer Sprachen finden wir heute beispielsweise auch in modernen Web-Applikationen."