01.11.2013 Aufrufe

Pumping Lemma für kontextfreie Sprachen - FB3 - Uni Bremen

Pumping Lemma für kontextfreie Sprachen - FB3 - Uni Bremen

Pumping Lemma für kontextfreie Sprachen - FB3 - Uni Bremen

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Fragestellungen 15<br />

Fragestellungen<br />

◮ Sind <strong>kontextfreie</strong> <strong>Sprachen</strong> kompositional? (Die Klasse der<br />

<strong>kontextfreie</strong>n <strong>Sprachen</strong> ist abgeschlossen unter<br />

Vereinigung, Konkatenation und Kleene-Stern.)<br />

◮ Ist <strong>für</strong> <strong>kontextfreie</strong> <strong>Sprachen</strong> das Wortproblem schnell<br />

lösbar?(Die von determinitischen Kellerautomaten<br />

erkannten <strong>Sprachen</strong> lassen sich in linearer Zeit erkennen.)<br />

◮ Wie hängen Kellerautomaten und <strong>kontextfreie</strong> <strong>Sprachen</strong><br />

zusammen? (Kellerautomaten erkennen genau die<br />

<strong>kontextfreie</strong>n <strong>Sprachen</strong>.)<br />

◮ Was können Kellerautomaten nicht?<br />

S. Kuske: Kellerautomaten und das <strong>Pumping</strong>-<strong>Lemma</strong>; 7.Januar 2008


<strong>Pumping</strong>-<strong>Lemma</strong> <strong>für</strong> <strong>kontextfreie</strong> <strong>Sprachen</strong> 16<br />

<strong>Pumping</strong>-<strong>Lemma</strong> <strong>für</strong> <strong>kontextfreie</strong> <strong>Sprachen</strong><br />

Zu jeder <strong>kontextfreie</strong>n Sprache L existiert ein p ∈ N, so<br />

dass gilt:<br />

Ist z ∈ L mit length(z) ≥ p dann lässt sich z schreiben<br />

als z = uvwxy, wobei<br />

• length(vwx) ≤ p,<br />

• vx ≠ λ und<br />

• uv i wx i y ∈ L <strong>für</strong> alle i ∈ N.<br />

S. Kuske: Kellerautomaten und das <strong>Pumping</strong>-<strong>Lemma</strong>; 7.Januar 2008


1<br />

Anwendung des <strong>Pumping</strong>-<strong>Lemma</strong>s<br />

Mit Hilfe des <strong>Pumping</strong>-<strong>Lemma</strong>s kann gezeigt werden,<br />

dass bestimmte <strong>Sprachen</strong> nicht kontextfrei sind.<br />

S. Kuske: Das <strong>Pumping</strong>-<strong>Lemma</strong> <strong>für</strong> <strong>kontextfreie</strong> <strong>Sprachen</strong>; 14.Januar 2008


Anwendung des <strong>Pumping</strong>-<strong>Lemma</strong>s 2<br />

Behauptung<br />

Die Sprache L = {a n b n c n | n ∈ N} ist nicht kontextfrei.<br />

Beweis (Skizze)<br />

Annahme: L ist kontextfrei.<br />

Sei p die Konstante aus dem <strong>Pumping</strong>-<strong>Lemma</strong>.<br />

Sei z = a p b p c p (d.h., z ∈ L und length(z) ≥ p), und sei<br />

z = uvwxy mit length(vwx) ≤ p und vx ≠ λ.<br />

1.Fall: vx = a m b n mit 1 ≤ m + n ≤ p. Dann gilt<br />

uv 0 wx 0 y = a p−m b p−n c p /∈ L. (Widerspruch)<br />

2.Fall: vx = b m c n mit 1 ≤ m + n ≤ p. Analog.<br />

S. Kuske: Das <strong>Pumping</strong>-<strong>Lemma</strong> <strong>für</strong> <strong>kontextfreie</strong> <strong>Sprachen</strong>; 14.Januar 2008


3<br />

Korollar. Die Klasse L KF S der <strong>kontextfreie</strong>n <strong>Sprachen</strong><br />

ist unter Schnitt nicht abgeschlossen.<br />

Beweisidee: Die <strong>Sprachen</strong> L 1 = {a n b n c m | m, n ∈ N}<br />

und L 2 = {a m b n c n | m, n ∈ N} sind kontextfrei, ihr<br />

Schnitt {a n b n c n | n ∈ N} aber nicht.<br />

S. Kuske: Das <strong>Pumping</strong>-<strong>Lemma</strong> <strong>für</strong> <strong>kontextfreie</strong> <strong>Sprachen</strong>; 14.Januar 2008

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!