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
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