Als «pumping-lemma» getaggte Fragen

Notwendige Eigenschaften formaler Sprachen in bestimmten Klassen, die auf dem Schließen gegen die Wiederholung bestimmter Unterwörter beruhen. Stellen Sie sicher, dass Ihre Frage nicht behandelt wird, indem Sie die Techniken unter https://cs.stackexchange.com/q/1031/755 anwenden.

2
Wie kann ich beweisen, dass diese Sprache nicht kontextfrei ist?
Ich habe die folgende Sprache {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Ich versuche herauszufinden, in welchen Chomsky-Sprachkurs es passt. Ich kann sehen, wie es mit einer kontextsensitiven Grammatik gemacht werden kann, also weiß ich, dass es zumindest kontextsensitiv ist. Es scheint, als wäre es …
1
Wie kann ws mit | w | = | s | und w ≠ s kontextfrei sein, während w # s nicht ist?
Warum macht (wenn ja) der Separator ##\# einen Unterschied zwischen den beiden Sprachen? Nehmen wir mal an: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L.#= { w # s : | w | = | s |w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Hier ist ein …
1
Kann es ein kontextsensitives Pump-Lemma geben?
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 Klasse zu widerlegen) existiert ). In der Diskussion um diese Frage deutet Daisys …
3
Beweise mit dem regulären Pump-Lemma
Ich habe zwei Fragen: Ich betrachte die folgende Sprache L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= uu^R\}. Mit anderen Worten, www ist kein Palindrom mit gerader Länge. Ich habe bewiesen, dass diese Sprache NICHT regelmäßig ist, indem ich bewiesen habe, dass ihre Ergänzung nicht regelmäßig ist. …
1
Beweis, dass
Zeigen Sie, dass ist nicht regulärL={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} Hallo Leute. Ich nehme an einem CS-Kurs teil und dieses Zeug ist wirklich neu für mich. Ich habe versucht herauszufinden, ob ich einen Widerspruch bekomme, indem ich das Pump-Lemma für reguläre Sprachen verwende, und ich habe es so ausgearbeitet: Angenommen, …
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.