Formale Sprachen, abstrakte Automaten und Compiler

Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
1. Auflage 2009
ISBN: 978-3-8348-0624-6
Verlag: Springer

Buch, Deutsch, 244 Seiten, PB, Format (B × H): 170 mm x 244 mm, Gewicht: 506 g

Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, vermittelt und in Übungen mit Anwendungsbezug vertieft. Dabei werden vor allem Aspekte automatisierter Compilergenerierung thematisiert. Übersetzung und Verarbeitung mehr oder weniger komplexer Sprachen finden wir heute beispielsweise in modernen Web-Applikationen. Es gibt vielfältige sehr interessante Beispiele auch im Grafik- und Audiobereich, die sich durch "Belebung" abstrakter Konzepte umsetzen lassen. Die Lern- und Arbeitsumgebung AtoCC hilft dabei, zu attraktiven lauffähigen Programmen zu kommen.

Zielgruppe

Studierende der Informatik an Fachhochschulen, Universitäten und Berufsakademien sowie Lehrpersonen an der gymnasialen Oberstufe

Autoren/Hrsg.

Wagenknecht, Christian

Hielscher, Michael

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten

Inhaltsverzeichnis

Struktur von Programmen – Grundbegriffe – Definition unendlicher Mengen – Sprachübersetzer – Endliche Automaten, reguläre Sprachen und reguläre Ausdrücke – Kellerautomaten und kontextfreie Sprachen – LL(k)-Sprachen – LR(k)-Sprachen – Parser und Parsergeneratoren – Sprachübersetzerprojekt – Mealy- und Moore-Maschinen – TURING-Maschine und CHOMSKY-Typ-0/1-Sprachen

Über Autor(innen)

Prof. Dr. Christian Wagenknecht, Hochschule Zittau/Görlitz, FB Informatik

Michael Hielscher, Pädagogische Hochschule Bern, Zentrum für Bildungsinformatik (ZBI)