HOME | ENGLISH | IMPRESSUM | KIT

Sprachtechnologie und Compiler

Neuigkeiten

22.07.2014 Die Vorlesungsfolien stehen jetzt in einer PDF-Datei zur Verfügung.
10.06.2014 Die Vorlesung am Mittwoch, den 11.06.2014, entfällt.
06.05.2014 Die Vorlesung am Mittwoch, den 14.05.2014, entfällt.
14.04.2014 Die erste Übung findet am 28.04.2014 statt.

Inhalt

Künstliche Sprachen sind ein Standardinstrument der Informatik. Programmiersprachen sind natürlich das bekannteste Beispiel, aber auch Datenbanksprachen, HTML, XML, usw. bedürfen der Analyse, Interpretation und Übersetzung, bevor sie vom Rechner verstanden bzw. ausgeführt werden können.

Die Vorlesung behandelt ausführlich die grundlegenden Verfahren:

  • Lexikalische Analyse
  • Syntaktische Analyse
  • Semantische Analyse
  • Codeerzeugung
  • Codeoptimierung
  • Laufzeitmechanismen
  • Werkzeuge

Das in dieser Vorlesung vermittelte Wissen wird in den zur Vorlesung gehörenden Übungen vertieft.

Vorlesung

Die Vorlesung hat den Umfang von 4 SWS + 2 SWS Übung. Die Veranstaltung kann im Rahmen des Master-Moduls "Sprachtechnologie und Compiler" (8 ECTS) oder als Teil einer Diplomprüfung im Vertiefungsfach "Sprachtechnologie und Übersetzerbau" (4 SWS) geprüft werden. Die wöchentlichen Termine finden während folgender Zeiträume statt:

Tag Beginn Ende Ort
Mittwoch11:3013:00HS -102, Raum -102 (Geb. 50.34)
Donnerstag15:4517:15HS -102, Raum -102 (Geb. 50.34)

Unterlagen

Das Vorlesungsmaterial darf ausschließlich zu Zwecken genutzt werden, die in direktem Zusammenhang mit der Veranstaltung Sprachtechnologie und Compiler stehen. Insbesondere die Weitergabe des hier zur Verfügung gestellten Materials an Dritte ist nicht gestattet. Vorlesungsfolien, Musterlösungen und hier veröffentlichter Quell-Code unterliegen dem Copyright des Lehrstuhls Programmierparadigmen (IPD Snelting).

Das Material kann nur aus dem Uni-Netz heruntergeladen werden. Verwenden Sie bitte den VPN-Client des SCC, falls Sie von außerhalb Zugriff benötigen.

Alle Vorlesungsfolien in einer PDF-Datei zum Download:

Termine

Datum Ort Thema Unterlagen Stand
16.4.2014 11:30hHS -102 Einleitung [PDF] 25.4.2014
17.4.2014 15:45hHS -102 Lexikalische Analyse [PDF] 25.4.2014
23.4.2014 11:30hHS -102 Syntaktische Analyse: Grundlagen [PDF] 25.4.2014
24.4.2014 15:45hHS -102 Syntaktische Analyse: LL, SLL [PDF] 9.10.2014
30.4.2014 11:30hHS -102 Syntaktische Analyse: Tabellen-LL, Rekursiver Abstieg [PDF] 6.5.2014
1.5.2014 15:45h Tag der Arbeit
7.5.2014 11:30hHS -102 Syntaktische Analyse: LL-Fehlerbehandlung, LR-Einführung [PDF] [PDF] 6.5.2014
8.5.2014 15:45hHS -102 Syntaktische Analyse: SLR [PDF] 14.5.2014
14.5.2014 11:30hHS -102 Fällt aus!
15.5.2014 15:45hHS -102 Syntaktische Analyse: LR, LALR, Generatoren [PDF] 20.5.2014
21.5.2014 11:30hHS -102 Syntaktische Analyse: Spezialfälle, Earley-Parser
Semantische Analyse: Attributierte Grammatiken
[PDF]
[PDF]
22.5.2014
22.5.2014 15:45hHS -102 Semantische Analyse: LAG, OAG, Namensanalyse [PDF][PDF] 4.6.2014
28.5.2014 11:30hHS -102 Semantische Analyse: Namensanalyse, Typanalyse, Praxis [PDF][PDF] 5.6.2014
29.5.2014 15:45h Christi Himmelfahrt
4.6.2014 11:30hHS -102 Transformation: Zwischensprachen, Ablaufsteuerung [PDF] 5.6.2014
5.6.2014 15:45hHS -102 Transformation: Typabbildung, Activation-Records [PDF][PDF] 5.6.2014
11.6.2014 11:30hHS -102 Fällt aus!
12.6.2014 15:45hHS -102 Transformation: Funktionsaufruf; Optimierung: Einführung [PDF][PDF] 17.6.2014
18.6.2014 11:30hHS -102 Optimierung: Verbandstheorie, Dominanz [PDF][PDF] 17.6.2014
19.6.2014 15:45h Fronleichnam
25.6.2014 11:30hHS -102 Optimierung: Datenflussanalyse [PDF] 2.7.2014
26.6.2014 15:45hHS -102 Extra-Übung: x86-Assembler [PDF] 26.6.2014
2.7.2014 11:30hHS -102 Optimierung: PDGs, SSA-Form [PDF] 2.7.2014
3.7.2014 15:45hHS -102 Optimierung: Beispiele, Codeerzeugung: Motivation [PDF][PDF] 9.7.2014
9.7.2014 11:30hHS -102 Codeerzeugung: Ershov, Baumersetzung [PDF][PDF] 9.7.2014
10.7.2014 15:45hHS -102 Codeerzeugung: Baumersetzung, Befehlsanordnung [PDF][PDF] 16.7.2014
16.7.2014 11:30hHS -102 Codeerzeugung: Registerzuteilung [PDF] 16.7.2014
17.7.2014 15:45hHS -102 Speicherverwaltung [PDF] 17.7.2014

Veranstalter

Lehrstuhlinhaber
Prof. Gregor Snelting
Wissenschaftliche Mitarbeiter
Manuel Mohr