Semiring Beispiele aus der formalen Sprachtheorie


9

Ich lerne die algebraische Theorie des Parsens. Mein erstes Problem ist die Identifizierung von Semiring-Beispielen, die spezifisch für die formale Sprachtheorie sind. Hier ist ein Versuch, zwei Beispiele zu konstruieren.

1 Bei gegebener CNF-Grammatik sind die Elemente des Semirings Sätze von terminalen und nicht terminalen Symbolen mit den Operationen:

i) Multiplikation , paarweise Verbinden der beiden Sätze gemäß der CYK-Regel. Zum Beispiel gegebene CNF-Grammatik

s: p p | q r
t: p q
u: q q

dann

{p,q,r}{p,r}={s,t}

ii) Addition ist Vereinigung gesetzt, z

{p,q}{q,r}={p,q,r}

Leider ist die Multiplikation nicht assoziativ.

2 Die Elemente des zweiten Semirings sind Sätze von nicht Symbolen, sondern Grammatikregeln [nicht unbedingt in CNF], die mit der Position geändert wurden. Die Operationen sind

i) Multiplikation , bei der alle übereinstimmenden Elementpaare gemäß der vollständigen Earley-Regel verbunden werden. Zum Beispiel gegebene CNF-Grammatik

s: p q r 
r: s t | u

dann

{s:pqr,s:pqr}{r:u}={s:pqr}

ii) Addition ist wieder die gesetzte Vereinigung, z

{s:pqr,r:st}{r:u}={s:pqr,r:st,r:u}

Dieses Beispiel ist ebenfalls mangelhaft.

Semiring mit Elementen als Sätze von Grammatikregeln und Multiplikation als Regelsubstitution scheint gut zu funktionieren. Dies ist jedoch nur eine verschleierte Beziehungsalgebra. Betrachten wir in der Tat jede Grammatikregel als eine Äquivalenzklasse - eine Reihe von Wortpaaren, die aus End- und Nicht-Endbuchstaben bestehen, die durch die Anwendung der Regel in Beziehung stehen, z

[t:sa]={(t,sa),(ta,saa),(bt,bsa),(abt,absa),...}

Dann ist das Erkennen eines Wortes in einer Grammatik eine Kette relationaler Kompositionen, z

[t:sa][s:aa]{(aaa,aaa)}={(t,aaa)}

(Dieses Monom erinnert an das Semiring-Parser-Polynom aus der Doktorarbeit von Josh Goodman. Lassen Sie uns jedoch wiederholen, dass die Konstruktion neuer Semirings durch die Verwendung von Polynomen und Matrizen hier nicht von unserem Interesse ist.)

Σ


1
Kommt es nicht darauf an, was Sie unter "spezifisch für die formale Sprachtheorie" verstehen? Goodmans wegweisendes "Semiring Parsing" enthält eine Reihe von Beispielen für Semirings. Sicherlich ist das Boolesche Semiring für die formale Sprachtheorie relevant, auch wenn es nicht spezifisch für die formale Sprachtheorie ist.
Rob Simmons

Ja, es ist subjektiv. Drei Beispiele oben (zwei Nichtbeispiele :-) veranschaulichen, dass die Konstruktion zumindest Grammatikregeln oder Nichtterminale beinhalten soll.
Tegiri Nenashi

1
Ich bin bereit, die im Titel aufgeworfene Frage zu beantworten (in der formalen Sprachtheorie gibt es tatsächlich viele Semirings), aber Ihre Beispiele verwirren mich. Es scheint, dass Sie nach sehr spezifischen Beispielen suchen. Möchten Sie also ein Beispiel haben, das für formale Sprachen oder bestimmte beim Parsen auftretende relevant ist?
J.-E.

Ja, ich hatte eine Erwartung von Semirings, die für die formale Sprachtheorie einzigartig sind, und die obigen drei Beispiele zeigen, dass ich keine bemerkte. Bitte zeigen Sie dennoch Ihre Beispiele: Ich bin gespannt darauf, Semirings zu studieren, mit denen ich nicht vertraut bin.
Tegiri Nenashi

Antworten:


5

Es gibt viele semirings im Zusammenhang mit der Sprachtheorie. Zuallererst das Boolesche Semiring. Als nächstes ist jede Klasse von Sprachen, die unter endlicher Vereinigung und (Verkettungs-) Produkt geschlossen wird, ein Teil des Semirings aller Sprachen. Zum Beispiel bilden die rationalen (= regulären) Sprachen ein Semiring. Siehe auch den verwandten Begriff der Kleene-Algebra .

k×k{,0,1}

(N{+},min,+)(N{},max,+)



0

S.p,kT.=S.(Y.::γ

S.(0)=p,0S.0(0)


Ich verstehe nicht: Warum wird die Multiplikationsoperation durch etwas parametrisiert? Ist die Multiplikation in Ihrer Definition insgesamt (dh auf ein beliebiges Objektpaar (Regel, Position) angewendet)?
Tegiri Nenashi

@TegiriNenashi Idk! Ich bin von einer Google-Suche auf Ihren Beitrag zurückgekommen und habe diesen gefunden. Ich habe keine Ahnung, was ich sagen wollte.
Seltsam
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.