Kompilation von Constraint-Grammatiken

Autor: Jochen Hagenström

Betreuer: Prof. Dr.-Ing. Wolfgang Menzel

Abgabe: Januar 2001

Kurzbeschreibung: Systeme, die auf eliminativem Parsing durch Constraint Satisfacion aufbauen, haben die Eigenschaft, daß große Mengen von Constraints ausgewertet werden müssen, um für eine gegebene Sprachäußerung eine grammatische Interpretation zu finden. Dabei spielt die Zeit, die das Auswerten von Constraints in Anspruch nimmt, eine kritische Rolle für das Laufzeitverhalten des Systems.

Inhalt dieser Arbeit ist es, einen Mechanismus zu finden, der in der Lage ist, gegebene Constraints auf eine Sprache abzubilden, die von einem Compiler interpretiert werden kann. Beim Auswerten von Constraints sollen nur noch kompilierte, zeitoptimierte Funktionen aufgerufen werden, anstatt wiederholt Constraints durch rekursive Abstieg zu interpretieren.

Um dieses zu ermöglichen, ist für das vorhandene Programm CDG ein Modul zu entwickeln, daß in der Lage ist, jede gegebene Grammatik zu parsen und äquivalenten C-Code zu erzeugen. Dieser kann zur Laufzeit des Programms kompiliert und dynamisch in das Programm CDG eingebunden werden. Damit kann CDG ausschließlich auf zeitoptimierte Funktionen zurückgreifen.

Die Verbesserung des Laufzeitverhaltens ist zu untersuchen und zu dokumentieren, wobei die Zeit, die das Übersetzen der Constraints benötigt nur eine untergeordnete Rolle spielt.