Automaten und Formale Sprachen Tutorium - Teil IV.
Automaten und Formale Sprachen Tutorium - Teil IV.
Automaten und Formale Sprachen Tutorium - Teil IV.
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Aufgaben<br />
Prüfen Sie auf Kontext-freiheit:<br />
1 L = {a i b j | i, j ∈ N ∧ i = j}<br />
2 L = {a i b j | i, j ∈ N ∧ i = j 2 }<br />
Herangehensweise<br />
Angeben eines Kellerautomaten oder einer kontext-freien<br />
Grammatik für den Nachweis L ∈ L2<br />
Benutzung des Pumping-Lemma für kontext-freie<br />
<strong>Sprachen</strong> für den Nachweis L /∈ L2<br />
Christopher Blöcker AFS <strong>Tutorium</strong>