Die Vorlesung behandelt alle Aspekte der Konstruktion eines Übersetzers für eine konventionelle imperative Sprache (wie etwa Pascal) mit Nachdruck auf einer fundierten theoretischen Grundlage, einer systematischen Konstruktion von Übersetzerkomponenten und, soweit angebracht, auf deren Generierung. Die einzelnen Themen sind:

• Prinzip der Übersetzung einer Pascal-ähnlichen Sprache in Code für eine abstrakte Kellermaschine (P-Maschine)
• lexikalische Analyse (Erzeugung von Analysatoren basierend auf deterministischen endlichen Automaten aus erweiterten regulären Ausdrücken)
• verschiedene Parsing-Techniken (für kontextfreie Grammatiken) mit einem Schwerpunkt auf LL- und LR-Techniken (einschließlich Fehlerbehandlung)
• semantische Analyse auf der Grundlage von Attributgrammatiken
• Einführung in die maschinenunabhängige Optimierung
• Codeerzeugung für CISC- und RISC-Architekturen (einschließlich Codeselektion, Registerzuordnung, maschinenabhängige Optimierung und Instruktionsanordnung)

1. Einleitung (2.0 MB)
2. Imperative Sprachen (Teil 1) (2.6 MB)
3. Imperative Sprachen (Teil 2) (2.6 MB)
4. Lexikalische Analyse (2.0 MB)
5. Syntaktische Analyse (Teil 1) (2.1 MB)
6. Syntaktische Analyse (Teil 2) (3.1 MB)
7. Syntaktische Analyse (Teil 3) (2.7 MB)
8. Semantische Analyse (Teil 1) (1.9 MB)
9. Semantische Analyse (Teil 2) (2.1 MB)
10. Maschinenunabhängige Codeverbesserung (0.5 MB)
11. Codeerzeugung (Teil 1) (1.5 MB)
12. Codeerzeugung (Teil 2) (1.4 MB)

Die Übungsblätter und weitere Unterlagen können auf der Veranstaltungsseite im Rubikon heruntergeladen werden. Falls Sie noch keinen Rubikon Account besitzen, können Sie diesen hier anlegen.