Multilinguale Grammatiken im ,,Grammatical Framework''               
Vorlesung mit Tafelübung
CIS, WS 2013/14

Hans Leiß

Inhalt

Das ,,Grammatical Framework'' (GF) ist ein von A. Ranta u.a. (Göteborg) entwickeltes System zur Programmierung und Anwendung von Grammatiken. Die Morphologie, Testlexika und wesentliche Teile der Syntax von fast 20 Sprachen sind in GF implementiert. Eingaben in jeder dieser Sprachen können in eine gemeinsame abstrakte Syntax analysiert und von dort in jede der anderen Sprachen übersetzt werden.
GF hat eine ausdrucksstarke abstrakte Syntax, die auf der Typentheorie von P. Martin-Löf beruht, und ein über kontextfreie Grammatiken weit hinausgehendes Format für die konkrete Syntax der Einzelsprachen.
In der Vorlesung soll vorgestellt werden, was die Vorzüge von GF als Programmiersprache sind, was der Umfang der vorhandenen Grammatiken ist und wie sie in Modulen strukturiert sind, wie die konkreten Grammatiken der verschiedenen Sprachen mit der abstrakten Syntax in Beziehung stehen und wie man ,,Sprachfamilien'' als Ebene zwischen konkreter und abstrakter Syntax programmieren kann. Beispiele zur Implementierung interessanter Phänomene aus der Morphologie und Syntax verschiedener Sprachen sollen gezeigt werden. Schließlich soll erklärt werden, wie man die vorhandenen Grammatiken als Programmbibliotheken verwendet, um eine ,,Anwendungsgrammatik'' mit selbstgewählter Semantik zu implementieren.

Organisatorisches

Vorlesung: Fr, 10st-12 Raum C 003, Oettingenstr. 67
Tafelübung: Fr, 12-13 Raum C 003, Oettingenstr. 67
Mentorenstunde: Do, 13-14 Raum C 110, Oettingenstr.67
Fragen Sie während der Vorlesung und der Tafelübung, wenn Sie etwas nicht verstehen! Kommen Sie in die Mentorenstunde, wenn Sie eine längere Frage oder ein größeres Verständnisproblem haben.

Vorlesungsfolien

Die Folien der Vorlesung werden hier im Lauf des Semesters als .pdf-Datei (vom Nov 14, 2014 ) zur Verfügung gestellt.

Tafelübung/Übungsaufgaben

Es werden möglichst jede Woche Übungsaufgaben gestellt, die Sie allein oder in einer Gruppe lösen sollten. (Lösungsabgabe: in der Tafelübung) In der Tafelübung wird eine korrekte Lösung am Rechner oder an der Tafel erklärt, Fragen zur Vorlesung geklärt und weitere Beispiele behandelt.
Aufgaben:
  1. Aufgabenblatt 1
  2. Aufgabenblatt 2 und Archiv der Programme zu MiniNP aus den Folien.
  3. Archiv der Programme Examples.tgz
  4. Aufgabenblatt 3 und Lösungsblatt 3
Da der Wunsch geäußert wurde, lieber eine "Projektaufgabe" als wöchentliche Hausaufgaben zu bekommen, hatte ich im Dezember die Modulprüfungsaufgabe verteilt (eine Miniaturgrammatik nach [[examples/extmini/LangIta.gf]] oder alternativ der Einbau von Vergleichskonstruktionen in die Resource-Grammatik des Deutschen). Testsätze, die jede Grammatik erkennen und aus der abstrakten Syntax erzeugen können soll, wollte ich nachliefern.

Literatur




File translated from TEX by TTH, version 3.67.
On 14 Nov 2014, 18:17.