Mathematik und Informatik

Ü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

Kurs 01810 Übersetzerbau [VU]

Prüfungsinformation

M.Sc. Wirtschaftsinformatik
 Art der PrüfungsleistungVoraussetzung
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
M.Sc. Praktische Informatik
 Art der PrüfungsleistungVoraussetzung
Unbenoteter Leistungsnachweisbestandene Kursabschlussklausur oder bestandenes Klausurersatzgespräch
B.Sc. Wirtschaftsinformatik
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete Prüfungsklausurkeine

Download

Ansprechpartner

mathinf.webteam | 11.08.2017
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik
  • Logo FernUni
  • Kontakt
  • VU
  • Moodle
  • Service
  • A-Z
  • Impressum/Datenschutz
  • © FernUniversität in Hagen