In dem Artikel Parsing Expressions by Recursive Descent von Theodore Norvell (1999) beginnt der Autor mit der folgenden Grammatik für arithmetische Ausdrücke: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v Das ist ziemlich schlecht, weil es mehrdeutig und...
Ich bin festgefahren, die nächste Übung zu lösen: Argumentieren Sie, dass, wenn kontextfrei und regulär ist, (dh der richtige Quotient ) ist kontextfrei.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Ich weiß, dass es einen PDA geben sollte,...
Gibt es Regeln oder Methoden, um eine kontextfreie Grammatik in Push-Down-Automaten umzuwandeln? Ich habe bereits einige Folien online gefunden , konnte sie aber nicht verstehen. In Folie 10 spricht er über einige Regeln. Kann jemand das
Die folgende kontextfreie Grammatik zeigt eine Mehrdeutigkeit vom Typ "Dangling else" (stellen Sie sich vor, steht für und b steht für und c steht für eine andere Art von Anweisung oder Block): S.einaaif expr thenbbbelseccc Zum Beispiel kannaacbcals(a(acbc))oder als(a(ac)bc)analysiert werden(dies...
Im College haben wir etwas über die Theorie der Berechnung im Allgemeinen und Turing-Maschinen im Besonderen gelernt. Eines der großartigen theoretischen Ergebnisse ist, dass Sie auf Kosten eines potenziell großen Alphabets (Symbole) die Anzahl der Zustände auf nur 2 reduzieren können. Ich habe...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Die Verwendung des Earley-Vektors als Erkenner ist recht einfach: Wenn das Ende der Zeichenfolge erreicht ist, müssen Sie nur noch nach einer abgeschlossenen axiomatischen Produktion suchen, die an Position 0 gestartet wurde. Wenn Sie mindestens eine haben, wird die Zeichenfolge akzeptiert. Die...
L={an(a+b)n|n>0}L={an(a+b)n|n>0}L = \{ a^n (a+b)^n | n>0\} Ein Buch, das ich lese, sagt es ist, aber wenn man bedenkt, dass wir nicht wissen können, wo der zweite Teil beginnen wird, und es könnte auch mit einem beginnen, wie können wir dies dann mit einem DPDA akzeptieren? Wie können wir...
Ist die Sprache L={a,b}∗∖{(anbn)n∣n≥1}L.={ein,b}}∗∖{(einnbn)n∣n≥1}}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} kontextfrei? Ich glaube, dass die Antwort ist, dass es keine CFL ist, aber ich kann es nicht durch Ogdens Lemma oder Pumping Lemma
Nach diesem Diagramm werden DCFLs unter Umkehrung geschlossen. Ich bin jedoch nicht davon überzeugt, dass der intuitive Beweis (Umkehren der Pfeile der steuernden Finite-State-Maschine und Umschalten der Pushs und Pops) davon abhängt, dass bei der Auswahl des Nullübergangs aus dem Ausgangszustand...
Definieren Sie die Nerode-Äquivalenz über eine Sprache als iff für jedes . U ~ L v u w ∈ L ⇔ v w ∈ L w ∈ & Sigma; *L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vu w ∈ L ⇔ v w ∈ L.uw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw ∈ & Sigma;∗w∈Σ∗w \in \Sigma^{*} Die Nerode-Äquivalenz hat genau...
Wie zeige ich, dass das Problem der Entscheidung, ob ein PDA eine Zeichenfolge der Form akzeptiert, unentscheidbar ist?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Ich habe versucht, dieses Problem auf ein anderes unentscheidbares zu reduzieren, z. B. ob zwei kontextfreie...
Ist die Sprache L = { 0 n 1 m ∣ n und m sind co-prime }L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} kontextfrei? Ich denke, dass es nicht kontextfrei ist, weil es für einen PDA zu kompliziert erscheint, um zu entscheiden, ob zwei Zahlen Co-Prime sind...
Diese Woche haben wir im Unterricht etwas über die CFLs und ihre Verschlusseigenschaften gelernt. Ich habe Beweise für Vereinigung, Überschneidung und Kompliment gesehen, aber für die Umkehrung sagte mein Dozent nur, dass es geschlossen ist. Ich wollte den Beweis sehen, also habe ich in den letzten...
Für eine Sprache mit der Pumplänge und einer Zeichenfolge sind die Pumpspelzen wie folgt:L.LLppps ∈ L.s∈Ls\in L Reguläre Version : If , dann kann als werden, wobei die folgenden Bedingungen erfüllt sind:| s | ≥p|s|≥p|s| \geq psssx yzxyzxyz | y| ≥1|y|≥1|y|\geq 1 | xy| ≤p|xy|≤p|xy|\leq p ∀ i ≥ 0 :...
Definieren FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with } |x| = |y| \text{ such that } xy \in L\}. Mit anderen Worten,FH(L)FH(L)FH(L) ist die Menge der ersten Hälften von Saiten gleicher...
Ich lese "Eine Einführung in formale Sprachen und Automaten" von Peter Linz und nach dem Lesen der ersten fünf Kapitel habe ich das folgende Problem mit einfachen und regelmäßigen (insbesondere rechtslinearen) Grammatiken, die einander sehr ähnlich sind. Welche Beziehung besteht zwischen diesen?...
Der erste Satz des Wikipedia-Artikels zu Parikhs Theorem lautet: "Parikhs Theorem in der theoretischen Informatik besagt, dass die Sprache nicht von einer regulären Sprache zu unterscheiden ist, wenn man nur die relative Anzahl der Vorkommen von Terminalsymbolen in einer kontextfreien Sprache ohne...
Ich denke, die Frage ist autark. Ist die Syntax der C-Sprache vollständig durch kontextfreie Grammatiken definiert, oder haben wir Sprachkonstrukte, für die im Verlauf des Parsens möglicherweise nicht kontextfreie Definitionen erforderlich sind? Ein Beispiel für ein Nicht-CFL-Konstrukt, das ich...
Ich ging eine Frage durch, in der ich gebeten wurde, die inhärent mehrdeutige Sprache unter einer Reihe von Optionen auszuwählen. L.1= {einnbmcmdn|m , n ≥ 1 } ∪ {einnbncmdm|m,n≥1}L.1={einnbmcmdn|m,n≥1}}∪{einnbncmdm|m,n≥1}}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\}...