Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine...
Diese Vorlesungsfolien skizzieren einen Beweis dafür, dass von keinem deterministischen Pushdown akzeptiert werden kann Automat. Leider geben die Folien keinen Hinweis darauf, woher der Beweis stammt.L = { anbn∣ n ≥ 0 } ∪ { anb2 n∣ n ≥ 0 }L.={einnbn∣n≥0}}∪{einnb2n∣n≥0}}L=\{ a^n b^n \mid n \geq 0 \}...
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...
Dies hängt etwas mit einer anderen Frage zusammen, die ich gestellt habe , aber ich denke, es ist anders genug, um eine eigene Frage zu rechtfertigen. Ich mache Forschungen, bei denen ich versuche, die Struktur von Komplementen einer bestimmten Klasse endlicher Sprachen zu finden. Es fällt mir...
Ich habe lange versucht, eine Konstruktion zu finden, damit ich formal nachweisen kann, dass ein deterministischer PDA unter Ergänzung geschlossen ist. Es kommt jedoch vor, dass jede Idee, die ich habe, etwas hat, das am Ende nicht passt. Könnten Sie mir helfen? Das Hauptproblem tritt bei den...
Während ich studiert habe, ist die Entscheidung über die Regelmäßigkeit kontextfreier Sprachen unentscheidbar. Wir können jedoch die Regelmäßigkeit mit dem Myhill-Nerode-Theorem testen, das eine notwendige und ausreichende Bedingung liefert. Das Problem sollte also entscheidbar sein. Wo ist mein...
Betrachten Sie die Folge . Es scheint auf eine Weise "regelmäßig" zu sein, die z. B. nicht ist.s1= ( 1 , 0 , 1 , 0 , … )s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)s2= ( 1 , 2 , 3 , 4 , … )s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) Ich bin mir jedoch nicht sicher, wie ich diese Intuition formalisieren soll....
Sei , wobei a 0 = ϵ und a n = a n - 1 a für alle n ≥ 1 sind .L = { an∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}ein0= ϵa0=ϵa^0 = \epsiloneinn= an - 1einan=an−1aa^n = a^{n-1}an ≥ 1n≥1n \ge 1 Somit besteht aus Sequenzen a aller Längen, einschließlich einer Sequenz der Länge 0 . Lassen L 2 sein , jede...
Ich versuche gerade, eine reguläre Sprache zu beweisen (zur persönlichen Unterhaltung). Die Sprache ist: Die Sprache, die alle ternären Zahlen enthält, die bei binärer Codierung sogar Bitparität aufweisen. Derzeit habe ich einige verschiedene Ansätze ausprobiert, die mich zu keinem Erfolg geführt...
Frage: Gibt es Einführungstexte in der formalen Sprache oder in der Programmiersprachentheorie, in denen erläutert wird, wie sie auf das Studium der optimalen Notation angewendet werden können? Insbesondere interessiert mich, was Stapelsprachen, Analysebäume und Indizes sind und wie man vorhersagt,...
Sei eine azyklische NFA.MMM Da azyklisch ist, ist endlich.L ( M )MMML(M)L(M)L(M) Können wir berechnenin Polynomzeit?|L(M)||L(M)||L(M)| Wenn nicht, können wir es annähern? Beachten Sie, dass die Anzahl der Wörter nicht mit der Anzahl der akzeptierenden Pfade in , was leicht berechenbar ist.MMM...
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...
Im Unterricht zeigte uns unser Professor drei Methoden zum Nachweis der Nichtregelmäßigkeit: Myhill-Nerode-Theorem Pumping Lemma für reguläre Sprachen Beweis der Nichtregelmäßigkeit, basierend auf der Kolmogorov-Komplexität Jetzt habe ich die ersten beiden, Myhill-Nerode-Theorem und Pumping-Lemma,...
Es ist bekannt, dass eine "Pump" -Eigenschaft (Wörter einer bestimmten Länge implizieren das Vorhandensein von Schleifen im sprachdefinierenden Mechanismus) für reguläre und kontextfreie Sprachen und einige weitere (normalerweise verwendet, um die Zugehörigkeit einer Sprache zu einer bestimmten...
Ich nehme an, dass .Σ={a}Σ={a}\Sigma = \{a\} Beweisen oder widerlegen: Für jedes Polynom mit Koeffizienten in gilt L = \ {a ^ {p (n)} \; | \; n \ in \ mathbb {N} \} ist eine kontextsensitive Sprache.p(n)p(n)p(n)NN\mathbb{N}L={ap(n)|n∈N}L={ap(n)|n∈N}L = \{a^{p(n)} \; | \; n \in \mathbb{N}\} Es...
Die Sprache ist offensichtlich regulär - zum Beispiel entspricht sie dem regulären Ausdruck . Das folgende Argument des Pumping Lemma scheint jedoch zu zeigen, dass es nicht regelmäßig ist. Was ist falsch gelaufen?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 \}(00)∗(00)∗(00)^* Ich...
Ich möchte genau fragen, in welchem Verhältnis Probleme und Sprachen stehen. Wir wissen, dass die Menge aller Sprachen unzählig ist. Sind die Probleme auch unzählig? Kann jedes Problem durch eine Sprache definiert werden? Kann eine Sprache mehr als ein Problem lösen und umgekehrt? Gibt es eine...
die Länge vonist ungerade1 ist in der Mitte vonL:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | ∧ w }www∧∧ \wedge w}w}w\} Das Alphabet ist also . Mein Problem ist, dass ich die Gleichheit der Zeichen vor und nach 1 nicht verfolgen kann . Ein begrenzter DFA für eine Länge von weniger als...
Wir haben zwei Sprachen: L1,L2L1,L2L_1,L_2 . Wir wissen, dass L1L2L1L2L_1L_2 eine reguläre Sprache ist. Meine Frage ist also, ob L2L1L2L1L_2L_1 eine reguläre Sprache ist. Ich versuche einen Weg zu finden, es zu beweisen ... Ich kann natürlich nicht davon ausgehen, dass L1,L2L1,L2L_1,L_2 regulär...
Meine Frage besteht im Wesentlichen aus drei Sprachen A, B und L, wobei L A und B miteinander verkettet sind und B nachweislich nicht regulär ist. Ist es möglich, ein A zu finden, das L regulär