Automaten und Formale Sprachen“ alias ” Theoretische Informatik ...
Automaten und Formale Sprachen“ alias ” Theoretische Informatik ...
Automaten und Formale Sprachen“ alias ” Theoretische Informatik ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kellerautomaten<br />
Beweisidee:<br />
Kontextfreie Sprachen Kellerautomaten<br />
1 Verwende den Keller zur Simulation der Grammatik. Leite ein Wort<br />
der Sprache auf dem Keller ab (nicht-deterministisches Raten) <strong>und</strong><br />
überprüfe dann, ob dieses Wort mit dem Wort in der Eingabe<br />
übereinstimmt.<br />
2 Problem: der Keller darf nicht beliebig verwendet werden, man kann<br />
immer nur das oberste Kellersymbol ersetzen.<br />
Lösung: Entferne die bereits fertig abgeleiteten Teile des Wortes auf<br />
dem Keller, indem sie mit der Eingabe verglichen <strong>und</strong> bei<br />
Übereinstimmung weggenommen werden.<br />
3 Damit kann man erreichen, dass immer wieder eine Variable zuoberst<br />
auf dem Keller liegt <strong>und</strong> abgeleitet werden kann.<br />
Sander Bruggink <strong>Automaten</strong> <strong>und</strong> <strong>Formale</strong> Sprachen 257