Karl Heinz Wagner

148 Karl Heinz Wagner
Allgemein soll gelten:
1. Seien A, B1, . . . , Bn nichtterminale Symbole und ki Variable über Wortketten,
so gilt
A → B1 . . . Bn wird übersetzt in
A(k0, kn) ⇐ B1(k0, k1), . . . , Bi(ki−1, ki), . . . , Bn(kn−1, kn),
wobei für kn einfach k geschrieben werden kann.
2. Sind A und Bi nichterminale Symbole und ist a ein Terminalsymbol so gilt:
A → a wird übersetzt in A(a.k, k) ⇐;
. . . Bia . . . wird übersetzt in . . . , Bi(ki−1, a.ki), . . .
Unter Berücksichtigung dieser Übersetzungsregeln kann eine DCG im wesentlichen
in der bekannten Form der PSG formuliert werden. 7
Nun ist mehrfach gezeigt worden, daß kontextfreie Phrasenstrukturgrammatiken
in dieser einfachen Form nicht deskriptiv adäquat sind. Der DCG-
Formalismus enthält daher auch zwei wesentliche Erweiterungen, die seine Expressivität
und Mächtigkeit erheblich vergrößern:
1. Nichtterminale Symbole sind nicht atomar, sondern können durch eine beliebige
Zahl von Argumenten aus Termen beliebiger Komplexität erweitert
werden, die der Unifikation unterliegen, z.B.
Satz → NP (num, pers), V P (num, pers).
2. Es können beliebige Bedingungen (constraints) in Form von zusätzlichen Literalen
(bzw. Klauseln) hinzugefügt werden. Diese bleiben bei der Übersetzung
erhalten, und werden durch geschweifte Klammern gekennzeichnet, z.B.
Satz → NP (typ1), V P (typ2), {subtyp(typ1, typ2)}
Wir benötigen entsprechend zusätzliche Übersetzungsregeln:
1. A(xι, . . . , xν) → . . . wird übersetzt in A(xι, . . . , xν, k0, k) ⇐ . . .;
Bi(xι, . . . , xν) wird übersetzt in Bi(xι, . . . , xν, ki−1, ki)
2. {B1, . . . , Bn} wird übersetzt in B1, . . . , Bn
Zusätzliche Argumente können beispielsweise dazu verwendet werden, Abhängigkeiten
der verschiedensten Art zu formulieren. Eine Regel wie
(5.7.) Satz → NP (num, pers), V P (num, pers)
(in der Übersetzung: Satz(k0, k) ⇐ NP (num, pers, k0, k1), V P (num, pers, k1, k))
drückt z.B. den Sachverhalt aus, daß Subjekt und Prädikat hinsichtlich der grammatischen
Kategorien Numerus und Person übereinstimmen müssen.
Da die Argumente beliebig komplexe Terme sein können, ist es möglich,
gleichzeitig mit der Konstruktion eines Beweises Strukturbeschreibungen durch
Unifikation aufzubauen. Unsere Beispielgrammatik erhält dadurch folgende Form:
7 In der üblichen Form der DCG werden terminale Symbole in eckige Klammern [ ]
gesetzt, z.B. N → [boy]. Diese Klammern werden in Prolog zur Kennzeichnung von
Listen verwendet und terminale Symbole sind einelementige Listen.