MLU
Vorlesung: Übersetzerbau - Details
Nachrichtenbox schließen
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Übersetzerbau
Untertitel http://swt.informatik.uni-halle.de/lehre/2012ws/uebersetzerbau
Semester WS 2012/13
Aktuelle Anzahl der Teilnehmenden 0
erwartete Teilnehmendenanzahl 20
Heimat-Einrichtung Leitung des Instituts für Informatik
beteiligte Einrichtungen Praktische Informatik (Softwareengineering)
Veranstaltungstyp Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Donnerstag, 11.10.2012 14:15 - 15:45, Ort: (VSP1 HS 3.31)
Voraussetzungen Grundstudium Informatik oder Bioinformatik Studenten anderer Fachrichtungen sollten zumindest eine einführende Informatikvorlesung besucht haben sowie über Grundwissen im Bereich formaler Sprachen und Automaten verfügen.
Lernorganisation Vorlesung mit Übung. Tragen Sie sich bitte in der Übung ebenfalls ein.
Studiengänge (für) Informatik (Master), Bioinformatik (Master), Wirtschaftsinformatik (Master)
Informatik (Diplom), Bioinformatik (Diplom)
SWS 3+2
Sonstiges Diese Vorlesung ist grundlegend für das Lehrgebiet Software-Engineering und Programmiersprachen.

Im Rahmen des Studiengangs Master(Informatik) handelt es sich um ein Modul ueber 2 Semester. Die Anmeldung ueber Stud.IP ist bindend.


http://swt.informatik.uni-halle.de/lehre/2009ws/uebersetzerbau
ECTS-Punkte 10

Räume und Zeiten

(VSP1 HS 3.31)
Donnerstag: 14:15 - 15:45, wöchentlich (15x)
Keine Raumangabe
Freitag: 08:15 - 09:45, zweiwöchentlich(8x)

Studienbereiche

Kommentar/Beschreibung

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