5

Ich brauche Hilfe bei einem Pumping Lemma Problem.Pumping lemma (Regular language)

L = { {a,b,c}* | #a(L) < #b(L) < #c(L) } 

Das ist, was ich bisher habe:

y = uvw is the string from the pumping lemma. 

Ich lasse y = abbc^n, n ist die Länge von der Pump Lemma. y steht in L, weil die Anzahl von a: s kleiner als die Anzahl von b: s ist und die Anzahl von b: s kleiner als die Anzahl von c: s ist.

Ich lasse u = a, v = bb und w = c^n. | uv | < y, wie in Pumping Lemma angegeben. Wenn ich "pumpe" (bb)^2 dann bekomme ich

y = abbbbc^n which violates the rule #b(L) < #c(L). 

Ist das richtig? Bin ich auf dem "richtigen Weg"?

Dank

+0

Sie versuchen, das Pumping-Lemma zu verwenden, um zu beweisen, dass die beschriebene Sprache regelmäßig ist? Oder dass es nicht regelmäßig ist?So oder so, Sie können nicht die Teilstring wählen, um zu wiederholen: das Pumping-Lemma sagt nur, dass es ein * n * gibt, so dass in jedem Satz * s * der Länge> = * n * eine Teilung von * s * in * uvw * so dass | * uw * | <* n *, | * v * | > = 1 und * u * * v *^* i * * w * ist ein Satz für alle * i *. (Da 'c' in dieser Sprache immer wiederholbar ist, haben Sie vielleicht eine Herausforderung, Sätze zu finden, in denen das Teilen des Satzes auf einem internen c nicht funktioniert.) –

Antwort

6

Die Hauptidee des Pumping-Lemma ist Ihnen zu sagen, dass, wenn Sie eine reguläre Sprache L mit unendlich vielen Gliedern haben es ein Muster in der Sprache, die immer wiederholt.

Der reguläre Ausdruck, der dieser Sprache zugeordnet ist, enthält KLEENE-STAR (Muster).

Der diesem regulären Ausdruck (und Sprache) zugeordnete Automat enthält eine Schleife.

Der Beweis erfolgt nach dem Taubenprinzip.

Diese image ist sehr suggestiv.

Beachten Sie, dass alle Begriffe in q0 beginnen müssen und in diesem Fall in qn enden müssen. Daher sind die Automaten, die die Sprache definieren, endlich (maximal N Zustände), so dass es eine begrenzte Anzahl von Zuständen gibt, aber die Wörter (d. H. Ausdrücke) können> N Buchstaben haben. Das Taubenprinzip sagt uns, dass es einen Zustand geben muss, der 2 mal erreicht wird. In diesem Zustand ist also eine Schleife vorhanden.

In Ihrer Notation können Sie die Korrespondenz mit dem Bild machen so:

  • Ihre u ist x von Bild

  • v ist y in Bild

  • w ist z aus Bild

Um von q0 zu qn zu gelangen, können Sie eine der folgenden Zeichenfolgen verwenden: { uw , uvw, uvvw, uvvvw, ... }.

In diesem speziellen Fall ist das Muster Py, das Set ist X{xz xyz xyyz xyyyz ...} und Slength(x)+length(y) ist.

+0

Vielen Dank für dieses Bild. Aber habe ich eine gute Schnur zum Pumpen gewählt? – mrjasmin