Ulteriori informazioni
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.
Sommario
Grundbegriffe (Alphabet, Wort, Verkettung, Wortmenge, längenlexikografische Ordnung, formale Sprache; Syntax, Semantik) - Formale Grammatik: Chomsky-Typen 0-3, Ableitung, Parsebaum, Syntaxbaum, Pumping Lemma, Abschlusseigenschaften, Normalformen, reguläre Ausdrücke - Abstrakte Automaten: NEA, DEA, NKA, DKA, TM, Minimalautomaten - LL(k)-, LR(k)-Sprachen, effiziente Parser - rekursiver Abstieg bis zur automatisierten Compilergenerierung, konzeptionelle Planung von Übersetzungsprozessen mit T-Diagrammen und visuelle Compilergenerierung - klassische Themen aus der TI und des Compilerbaus geeignet verknüpft und mit AtoCC zum didaktischen Leben erweckt
Info autore
Dr. rer. nat Christian Wagenknecht ist Professor für Informatik an der Hochschule Zittau/Görlitz und lehrt auch an der Staatlichen Studienakademie Sachsen (BA Bautzen) sowie der Fernfachhochschule Darmstadt.
