Übersetzerbau

Modulinformationen

Der Kurs behandelt Techniken und Werkzeuge zur Übersetzung einer (formalen) Quellsprache in eine Zielsprache. Zumindest die Quellsprache ist durch eine geeignete Grammatik definiert. Der klassische Anwendungsfall ist die Übersetzung von einer höheren Programmiersprache in Maschinen- oder Assemblersprache. Übersetzungstechniken haben aber viel weitergehende Anwendbarkeit: Andere Quellsprachen können z.B. Dokumentbeschreibungssprachen sein (LaTeX, HTML), Anfragesprachen in Datenbanksystemen, VLSI-Entwurfssprachen usw. oder auch komplex strukturierte Eingabedateien für Anwendungsprogramme. Es gibt mächtige Werkzeuge (Scanner- und Parsergeneratoren auf der Basis attributierter Grammatiken), deren Kenntnis für jeden Informatiker nützlich ist, auch wenn nur wenige klassische Übersetzer (Compiler) implementieren.

Inhalte: Lexikalische Analyse (Scanner), Syntaxanalyse (Parser), Syntaxgesteuerte Übersetzung, Übersetzung einer Dokument-Beschreibungssprache, Übersetzung imperativer Programmiersprachen, Übersetzung funktionaler Programmiersprachen, Codeerzeugung und Optimierung.

In den Übungen wird u.a. ein größeres durchgängiges Projekt zum Compilerbau bearbeitet.

ECTS10
ArbeitsaufwandBearbeiten der Kurseinheiten: 150 Stunden
Bearbeitung der Einsendeaufgaben: 75 Stunden
Wiederholung und Prüfungsvorbereitung, Prüfung: 75 Stunden
Dauer des Modulsein Semester
Häufigkeit des Modulsin jedem Wintersemester
Anmerkung-
Inhaltliche VoraussetzungGrundbegriffe der Theorie der formalen Sprachen sind nützlich, werden aber auch in diesem Kurs vermittelt.

Aktuelles Angebot

Prüfungsinformation

M.Sc. Praktische Informatik WS1920
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete mündliche Modulprüfungkeine
 Stellenwert der Note: 1/8
M.Sc. Praktische Informatik
 Art der PrüfungsleistungVoraussetzung
Unbenoteter Leistungsnachweisbestandene Kursabschlussklausur oder bestandenes Klausurersatzgesprächkeine
M.Sc. Informatik WS1920
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete mündliche Modulprüfungkeine
 Stellenwert der Note: 1/12
B.Sc. Informatik
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete mündliche ModulprüfungLeistungsnachweis zu einem Modul aus dem Pflichtbereich
 Stellenwert der Note: 1/12
B.Sc. Informatik WS1920
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete mündliche Modulprüfungkeine
 Stellenwert der Note: 1/16
B.Sc. Wirtschaftsinformatik
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete Prüfungsklausurkeine
M.Sc. Wirtschaftsinformatik
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete mündliche Modulprüfung 

Download

Ansprechpartner

mathinf.webteam | 20.09.2018