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
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
|
