Wie kann ich bei einer unendlichen regulären Sprache LLL beweisen, dass LLL in zwei disjunkte unendliche reguläre Sprachen L1,L2L1,L2L_1, L_2 ? Das heißt: L1∪L2=LL1∪L2=LL_1 \cup L_2 = L , L1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothing und undL1L1L_1L2L2L_2 sind beide unendlich und regelmäßig. Bisher dachte ich an: unter Verwendung des Pump-Lemmas, so …
In unserem Kurs über Programmiersprachenkonzepte behauptete unser Kursleiter, dass es in Ordnung ist, wenn ein Endzustand in einem Diagramm mit endlichen Zuständen zu einem anderen Zustand führt. Dies scheint jedoch ein grundsätzlich widersprüchliches Konzept zu sein. Da ein Endzustand per Definition Übergänge beendet, dh, sobald Sie ihn erreicht haben, bleibt …
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 lese gerade das Buch Einführung in die Theorie der Berechnung (2. oder 3. Aufl.) Von Michael Sipser und bin auf eine Frage in Kapitel 1 - Reguläre Sprachen gestoßen , nämlich wenn der Autor die Beweisidee von Satz 1.49 vorlegt - "Die Klasse der regulären Sprachen ist unter der …
Ich habe Probleme beim Versuch festzustellen, ob alle in binärer Form (1, 100, 1001, ...) geschriebenen quadratischen Zahlen (1, 4, 9, 16, ...) eine reguläre Sprache sind. Nach einigen Versuchen , ein gemeinsames Muster dieser Zahlen zu finden, die ich herausgefunden, dass für jede Quadratzahl , entweder gleich 0 oder …
Dies ist etwas, das ich nicht finden konnte - aber ich fand es immer interessant, dass das Pump-Lemma nur ein Lemma ist (zumal es den gleichen Namen für reguläre Sprachen, kontextfreie Sprachen usw. hat). Was ist das für ein Lemma?
Bei einem DFA A bezeichne L (A) die Anzahl der Wörter, die A akzeptiert. Ich denke, es ist einfach, L (A) zu berechnen: Übersetzen Sie die Codierung von A in einen regulären Ausdruck. Wenn der Kleene-Stern irgendwo im Ausdruck erscheint, ist die Sprache unendlich. Sonst: Gehen Sie alle Wortkombinationen durch, …
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, gut verstanden und konnte auch die Übungen zu den ersten beiden Methoden machen. Aber den dritten …
Wenn ich mir die Beweise für das Pumpen von Lemma ansehe , habe ich das Gefühl, dass mir oft die Intuition hinter der Bedingung | xy | fehlt ≤ p. Was genau ist der Grund für diesen Zustand? Die gesamte Literatur, die ich mir angesehen habe, schweigt entweder (kein Beweis, …
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 macht?
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 sind ... Also suche ich nach einem …
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 …
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 Fehler?
Sei eine reguläre Sprache. Beweise das:LLL L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} sind regelmäßig und: L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L_{+-+}=\left\{ uv:\exists_w |u|=|w|=|v| \wedge uwv\in L \right\} ist nicht regelmäßig. Scheint mir sehr schwer zu sein. Ich nehme an, 1-3 sind ähnlich (aber …
Sei LLL eine reguläre Sprache. Ist die Sprache L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} regelmäßig? Ich weiß, dass es der Frage hier sehr ähnlich ist , aber der Haken ist, dass es keine einfache Teilzeichenfolge eines Wortes …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.