Aspekte der morphologischen Analyse des Deutschen - Universität ...

Kapitel 2: Merkmalsstrukturen
Beispiel 2.12:
Gegeben seien die folgenden Sortendefinitionen s(F:a) ← G:b und der auszuwertende Merkmalsterm
H:X ∧ s(X). Die Typisierung der Sorte s sei hier vernachlässigt.
Ausgewertet wird: Eval(s(X), s(F:a) ← G:b , ... )
Variablenbindung für X: σ X = F:a
Ergebnis von Eval: G:b ∧ X ≈ F:a, d.h. der Gesamtterm ist: H:X ∧ G:b ∧ X ≈ F:a
Dies kann mit 4c) vereinfacht werden zu: H:(X ∧ F:a) ∧ G:b
Man sieht daran, daß X ≈ φ nicht äquivalent zu X ∧ φ ist. Wäre dies der Fall, dann wäre das
Ergebnis in Beispiel 2.12 gleich H:X ∧ G:b ∧ X ∧ F:a, ein zyklischer Term.
Anstelle eines formalen Beweises, der wiederum außerhalb des Rahmens einer solchen
Übersicht liegt, sollen nochmals die vier Basisfälle beim Sortenaufruf charakterisiert weren5
d :
SortenSorten- Resultat von
Kommentar
definitionaufruf Eval
1. s(a) ← ψ s(a) ψ Die formalen Parameter und der Aufruf der
Sorte enthalten keine Variablen
⇒ der Aufruf wird literal durch den
Sortenrumpf ersetzt
2. s(a) ← ψ s(X) ψ ∧ X ≈ a Die formalen Parameter enthalten keine
Variablen, anders als der Aufruf der Sorte.
⇒ der Aufruf wird literal durch den Sortenrumpf
ersetzt, hinzu tritt aber noch eine Aufzeichnung
der Bindung von X, da X außerhalb
des Sortenaufrufs auftreten kann.
3. s(X) ← ψ[X] s(a) ψ[X/a] Eine Variable X aus einem formalen
bzw. Parameter kommt im Rumpf der
ψ[X/X ∧ a] Sortendefinition ein- oder mehrfach vor. Der
aktuelle Parameter enthält keine Variable.
⇒ Je nachdem ob X in ψ einfach oder mehrfach
vorkommt, wird es durch a bzw. X ∧ a
ersetzt.
4. s(X) ← ψ[X] s(Y) ψ[X/Y] ∧ Y ≈ X Variablen kommen sowohl in den formalen
bzw. als auch aktuellen Parametern vor.
ψ[X/X∧Y] ∧ Y≈X ⇒ Je nachdem ob X in ψ einfach oder mehrfach
vorkommt, wird es durch Y bzw.
X ∧ Y ersetzt.
Tabelle 2.1: Basisfälle bei der Verwendung einer Sorte
5 ψ[X] bedeutet, daß X in ψ vorkommt.
38