Zum Beispiel kann ein einfacher Baum für “Parsing” illustriert werden wie folgt. Zuerst wird die kontextfreie Grammatik in (6) gegeben und in einigen Programmen wie (7) axiomatisiert. Der normale Begriff für eine kontextfreie Regelung ist N0 → V1,…,Vn, wo N0 kein letztes Wort ist und V1 kein letztes Wort oder ein letztes Wort ist. Solche Regelung hat die folgende informelle Interpretation. Wenn Ausdrücke “w1,…,wn” zu
“V1,…,Vn” passen, dann hat der einzigartige Ausdruck “w1,…,wn” (die Verkettung des Ausdrucks w1) selbst einen Ausdruckstyp N0. Nun wollen wir die folgende kontextfreie Grammatik annehmen.
(6)
S → NP VP (sentence)
NP → Det N OptRel (noun phrase)
OptRel → Empty string (optional relative clause)
VP → TV NP (transitive verb phrase)
VP → IV (intransitive verb phrase)
PN → Hans Castorp (proper noun)
PN → Clawdia Chauchat (proper noun)
Det → ein (determiner)
N → Programm (noun)
IV → hält (intransitive verb)
TV → schreibt (transitive verb)
Es ist hier zu bemerken, daß die allgemeine Form für Axiomatisierungsregelungen selbst in bestimmten Nebensätzen liegt. Das kann dierekt in Prolog dargestellt werden.
(7) Programm
S (P0, P):- NP (P0,P1), VP (P1, P).
NP (P0, P):- Det (P0, P1, N (P1, P2),
(P2, P).
VP (P0, P):- V(P0, P).
OptRel:- (P, P).
Det (P0, P):- connects (ein, P0, P).
N (P0, P):- connects (Programm, P0, P).
IV (P0, P):- connects (hält, P0, P).
Das Literal connects (Terminal, Position1, Position2) wird verwendet, um zu zeigen, daß das Symbol “Terminal” zwischen “Position1″ und “Position2″ liegt. Wenn das Prädikat “connects” gegeben wird, kann ein Ausdruck dadurch axiomatisiert werden, um darzustellen, daß das letzte Symbol in der Kette “ein Programm hält” die Kettenpositionen miteinander verbindet.
(8) connects (ein, 0,1).
connects (Programm, 1,2).
connects (hält, 2, 3).
Die Axiomatisierung der Ausdrücke und der kontextfreien Grammatiken erlaubt einem Beweisverfahren von “Horn-clause”, eine Rolle als eine Art von “Parser” zu spielen. Das Beweisverfahren von Prolog gibt einen Parsingsmechanismus wie z.B. “top-down” und “left-to-right”. Solche Axiomatisierung der Grammatik ist wichtig, wenn ein Baum für “Parsing” eine Art von Beweis der Grammatikalität eines Ausdruckes vorbereitet.
花村嘉英（2005）「計算文学入門－Thomas Mannのイロニーはファジィ推論といえるのか？」より