09.09.2013 Aufrufe

Automaten und Formale Sprachen Tutorium - Teil IV.

Automaten und Formale Sprachen Tutorium - Teil IV.

Automaten und Formale Sprachen Tutorium - Teil IV.

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.

Frage<br />

Wie lässt sich feststellen, ob<br />

L /∈ L2?<br />

Antwort<br />

Mit Hilfe des Pumping-Lemmas für kontext-freie <strong>Sprachen</strong>.<br />

Wenn die Bedingungen des Pumping-Lemmas nicht erfüllt<br />

sind, so kann die betroffene Sprache nicht kontext-frei sein.<br />

PLkfS(L) → L /∈ L2.<br />

Christopher Blöcker AFS <strong>Tutorium</strong>

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!