27.02.2013 Aufrufe

Kontextfreie Sprachen Kontextfreie Grammatiken Definition 13.1 ...

Kontextfreie Sprachen Kontextfreie Grammatiken Definition 13.1 ...

Kontextfreie Sprachen Kontextfreie Grammatiken Definition 13.1 ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Pumpinglemma für kontextfreie <strong>Sprachen</strong> – Einleitung<br />

• Die Grundidee ist analog zum Pumpinglemma für reguläre <strong>Sprachen</strong>:<br />

• Alle kontextfreien <strong>Sprachen</strong> haben eine spezielle Eigenschaft. Wenn eine<br />

Sprache diese Eigenschaft nicht besitzt, dann ist sie nicht kontextfrei.<br />

• Der Unterschied zwischen den beiden Pumpinglemmata spiegelt die<br />

Unterschiede zwischen regulären und (nicht-regulären) kontextfreien<br />

<strong>Sprachen</strong> wider.<br />

• Die Pumping-Eigenschaft (informell):<br />

• Alle Wörter, die hinreichend lang sind, d.h. deren Länge einen gewissen<br />

Wert, genannt Pumping length (Pumpinglänge), überschreitet, können an<br />

gewissen Stellen „aufgepumpt“ werden.<br />

• Dies bedeutet im Fall der kontextfreien <strong>Sprachen</strong>: In den entsprechenden<br />

Wörtern existieren gewisse Paare von Teilwörtern, die beliebig oft – und<br />

zwar gleich oft – wiederholt werden können, wobei die resultierenden Wörter<br />

ebenfalls zur Sprache gehören.<br />

FGI-1 Habel / Eschenbach Kap 13 <strong>Kontextfreie</strong> <strong>Sprachen</strong> & <strong>Grammatiken</strong> [87]<br />

Pumpinglemma für kontextfreie <strong>Sprachen</strong><br />

Satz 13.37 (Pumpinglemma für kontextfreie <strong>Sprachen</strong>)<br />

Sei L eine kontextfreie Sprache. Dann existiert eine natürliche Zahl p (genannt<br />

Pumping length), so dass für alle Wörter w * L mit | w | " p eine Zerlegung von<br />

w = u v x y z existiert, die die folgenden Bedingungen erfüllt<br />

(1) für alle i " 0 gilt u v i x y i z * L<br />

(2) | v y | > 0<br />

(3) | v x y | ! p<br />

Anmerkungen<br />

• Bedingung (2) besagt, dass v oder y nicht gleich dem leeren Wort ist.<br />

• Bedingung (3) besagt, die Gesamtlänge von v, x und y maximal p ist.<br />

FGI-1 Habel / Eschenbach Kap 13 <strong>Kontextfreie</strong> <strong>Sprachen</strong> & <strong>Grammatiken</strong> [88]

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!