Let einige Sprache sein, dann definieren wir die syntaktische Kongruenz als u ~ v : ⇔ ∀ x , y ∈ X * : x U y ∈ L ↔ x v y ∈ L und der Quotient monoid X * / ~ L ist die angerufene syntaktische Monoid von L .L ⊆X∗L⊆X∗L \subseteq X^{\ast}u ∼ v : ⇔ ⇔ x ,y∈ X∗: x uy∈ L ↔ x vy∈ Lu∼v: ⇔∀x,y∈X∗:xuy∈L↔xvy∈L u...
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}R e g ≤ T C 0 N C 1 ≤ T C 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0} nicht kennen, kennen wir auch...
Lassen die Familie aller Sprachen über sein Σ erfüllt die Pumpeigenschaft der regulären Sprachen. Nämlich: für jedes L ∈ L gibt es ein N ∈ N st jedes Wort w ∈ L , | w | > N in der Form geschrieben werden kann , w = x y z , wo: 1 | y | > 0 , 2. | x y | ≤ N , 3. x y i...
Ich lese " Verkettung regulärer Sprachen und Beschreibungskomplexität " von Galina Jiraskova, 2009, über die Zustandskomplexität infolge der Verkettung zweier regulärer Sprachen (von Galina Jiraskova), kann aber die praktischen Auswirkungen der Zustandskomplexität nicht verstehen . Der erste...
Angenommen, ich habe einen großen Codeblock, den ich bereits lexiert und analysiert habe. Angenommen, nur ein Zeichen ändert sich. Ich möchte mein Parsing aktualisieren, aber da die Änderung im Vergleich zum Ganzen sehr gering ist, möchte ich wissen, ob es möglich ist, das Ganze nicht noch einmal...
In Kapitel 4 von Jeffrey Shallits A Second Course in Automata Theory wird das folgende Problem als offen aufgeführt: Sei ein Polynom mit rationalen Koeffizienten, so dass für alle . Beweisen oder zu widerlegen , dass die Sprache der basen k Darstellungen aller ganzen Zahlen in ist kontextfrei ,...
Betrachten Sie die folgende natürliche Frage: Was ist bei einer endlichen Sprache die kleinste kontextfreie Grammatik, die L erzeugt ?LLLLLL Wir können die Frage interessanter machen, indem wir eine Folge von Sprachen , zum Beispiel L n ist die Menge aller Permutationen von { 1 , … , n } : Intuitiv...
Eine nicht deterministische Xor-Automate (NXA) ist syntaktisch eine NFA, aber ein Wort wird von NXA akzeptiert, wenn es eine ungerade Anzahl von Akzeptanzpfaden aufweist (anstelle von mindestens einem Akzeptanzpfad im NFA-Fall). Es ist leicht zu erkennen, dass es für eine endliche reguläre Sprache...
Ich mag einen Begriff der „Nähe“ zwischen zwei regulären Sprachen endlicher Worte definieren (und / oder unendlichen Worten Σ & ohgr; ). Die Grundidee ist, dass zwei Sprachen nahe beieinander sein sollen, wenn sie sich nicht durch viele Wörter unterscheiden. Wir könnten auch die...
Was ist über die Klasse der Sprachen bekannt, die von endlichen Automaten erkannt werden, die denselben Anfangszustand und denselben Akzeptanzzustand haben? Dies ist eine richtige Teilmenge der regulären Sprachen (da jede dieser Sprachen die leere Zeichenfolge enthält), aber wie schwach ist sie?...
Nach der letzten Frage zu lesen : „Ist das Komplement {www∣...}{www∣...}\{ www \mid ...\} Kontextfrei?“ ; Ich erinnerte mich an ein ähnliches Problem, das ich nicht widerlegen konnte: Ist L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid...
Angenommen, man hat eine Sprache , aber man weiß nicht, welche Zeichenfolgen tatsächlich Teil der Sprache sind. Alles, was man hat, ist eine endliche Sicht auf die Sprache: eine endliche Menge von Strings , von denen bekannt ist, dass sie in der Sprache sind, und eine endliche Menge von Strings ,...
Kann jemand ein Beispiel für zwei äquivalente (die gleiche Sprache erkennende) nicht deterministische Minimalautomaten (NFA) nennen, die nicht isomorph
Ich suche eine Sprache L mit folgenden Eigenschaften: L sollte nicht kontextfrei sein. Ls Komplement sollte nicht kontextfrei sein. (Alles, was Sie in Lehrbüchern als Paradebeispiele für nicht kontextfreie Sprachen sehen, scheint diese zweite Anforderung nicht zu erfüllen.) L sollte nicht zu schwer...
Bekanntermaßen definierte Greibach eine Sprache , die sogenannte nichtdeterministische Version von D 2 , so dass jede CFL ein inverses morphes Bild von H istHHHD2D2D_2HHH . Gibt es eine ähnliche Aussage zu DCFL, möglicherweise mit einer gewissen Einschränkung der zulässigen Morphismen? (Siehe z. B....
Dyck-Sprachen durch die folgende Grammatik S → S S definiertDyck(k)Dyck(k)\mathsf{Dyck}(k) über der Menge der Symbole { ( 1 , … , ( k , ) 1 , … , ) k } . Intuitiv sind Dyck-Sprachen die Sprachen der ausgeglichenen Klammern von kS→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S...
Ich mache derzeit einige formale Sprachrecherchen mit Sprachklassen über Regular, aber unter Context Free. Ich betrachte Dinge wie umkehrbar gebundene Multicounter-Maschinen, Single-Stack-Counter-Maschinen, deterministische CFLs usw. Ich frage mich, ob irgendjemand ein gutes Buch oder einen...
Ich habe diese Frage aus dem Stackoverflow verschoben, wo id keine Antworten erhielt. Wir hatten eine ähnliche Frage, ob JSON regelmäßig ist : JSON und XML werden häufig als kontextfreie Sprachen bezeichnet - beide werden hauptsächlich durch eine formale Grammatik in EBNF spezifiziert. Dies gilt...
Dies ist wahrscheinlich ziemlich einfach, aber betrachten Sie das Standard-Post-Korrespondenz-Problem: Gegeben und β 1 , ... , β N , findet sie eine Folge von Indizes i 1 , ... , i K , so dass & agr; i 1 ⋯ α i K = β i 1 ⋯ β i K . Das ist natürlich nicht zu entscheiden.α1,…,αNα1,…,αN\alpha_1,...