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.
Frage<br />
Wie lässt sich feststellen, ob<br />
L ∈ L2?<br />
Antwort<br />
Eine Sprache ist vom Typ-2, wenn sie von einem<br />
Kellerautomaten akzeptiert oder von einer kontext-freien<br />
Grammatik erzeugt wird.<br />
Für den Nachweis L ∈ L2 ist also ein Kellerautomat A oder<br />
eine Typ-2-Grammatik G mit<br />
LA = L bzw. LG = L<br />
anzugeben.<br />
Außerdem lassen sich kontext-freie Grammatiken in<br />
nichtdeterministische(!) Kellerautomaten (NKA) überführen.<br />
Christopher Blöcker AFS <strong>Tutorium</strong>