Ruprecht-Karls-Universität Heidelberg




Prüfungsstoff für die Vorlesung
"Compilerbau"

Einführung in formale Sprachen
  • Sprachen
  • Grammatiken
  • Die Chomsky-Hierarchie
  • Ableitungsbäume
  • Das Wortproblem
  • Reguläre Ausdrücke
Lexikalische Analyse
  • Endliche Automaten
  • Nichtdeterministische endliche Automaten
  • Endliche Automaten mit Ausgabe
  • Mächtigkeit endlicher Automaten
  • Minimale Automaten
Transformation von Grammatiken
  • Reduktion
  • Beseitigung von e-Ableitungen
  • Beseitigung von Linksrekursion
  • Linksfaktorisierung
Top-Down-Syntaxanalyse
  • Start- und Folgemengen
  • LL(1)-Grammatiken
  • Parsing mit Kellerautomaten
  • Rekursiver Abstieg
Bottom-Up-Syntaxanalyse
  • Handles und Präfixe
  • Operator-Präzedenz-Parser
  • Charakteristische Automaten
  • LR(0)-Analyse
  • LR(1)-Analyse
  • SLR(1)-Analyse
  • LALR(1)-Analyse
Syntaxorientierte Übersetzung
  • Attributierte Grammatiken und Übersetzungsschemata
  • Syntaxorientierte Top-Down-Übersetzung
  • Syntaxorientierte Bottom-Up-Übersetzung
Semantische Analyse
  • Typen
  • Die Symboltabelle
Die C-Maschine
  • Übersetzung von Ausdrücken
  • Übersetzung von Anweisungsfolgen
  • Übersetzung von bedingten und iterativen Anweisungen
  • Speicherbelegung für Variablen
  • Zeiger und dynamische Speicherverwaltung
  • Übersetzung von Funktionen
3-Adress-Code
  • Befehle des 3-Adress-Codes
  • Symboltabellen
  • Übersetzung von Deklarationen
  • Übersetzung von Kontrollstrukturen und Booleschen Ausdrücken
Optimierung
  • Überblick über Optimierungsverfahren
  • Gerichtete azyklische Graphen
  • Datenfluss-Analyse
  • Registerzuteilung


April 1, 2010
comopt{at}informatik.uni-heidelberg.de

optWay
Links