Übersetzerbau 1
Inhaltsverzeichnis
Klausurtermine
mündliche Prüfungen: 23.03.2015, 09:00 - 17:00 Uhr
Ort, Zeit
Do 14-16, HS 3.31 und PC-Pool (14 täglich)
Mi 8-10, HS 3.31 und PC-Pool (14 täglich)
Teilnahmevoraussetzung
entsprechend der allgemeinen Modulbeschreibung
Vorlesungsinhalte
Ziel der Vorlesung ist die Vermittlung von Grundlagen und Techniken zum Erbauen von Übersetzern (engl. Compiler). Diese Techniken sind nicht nur im Übersetzerbau einsetzbar, sondern generell, wenn textuelle oder visuelle Eingaben verarbeitet werden müssen - insbesondere, wenn auch deren Konsistenz vor einer Weiterverarbeitung überprüft werden muss. Übersetzer können bereits seit den 80er Jahren des vergangenen Jahrhunderts automatisch aus Spezifikationen erzeugt werden. Die Vorlesung behandelt daher in erster Linie die theoretischen Grundlagen der Spezifikationen, die Grundlagen der Generierung sowie das Erstellen solcher Spezifikationen. In den Übungen werden sowohl die Grundlagen vertieft als auch ein (kleiner) Übersetzer mit Hilfe eines Übersetzergenerators gebaut. Inhalt: 1. Einleitung/Architektur von Übersetzern 2. Eigenschaften von Programmiersprachen 3. Reale und abstrakte Maschinen 4. Abstrakte Programmrepräsentationen 5. Grundlagen aus der Theorie formaler Sprachen 6. Lexikalische Analyse 7. Syntaktische Analyse 8. Attributierte Grammatiken 9. Semantische Analyse 10. Zwischencodeerzeugung 11. Codeerzeugung 12. Optimierung