Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Kontextfreie Sprachen<br />
Kellerautomaten<br />
Im Gegensatz zu εNEAs stellen die Graphen für Kellerautomaten keine<br />
lauffähigen Automaten dar, sondern sind bloß Alternativen zur tabellarischen<br />
Darstellung von δ . Um einen Durchlauf des Kellerautomaten<br />
nachzuvollziehen, ist zwingend über den gesamten Kellerinhalt<br />
buchzuführen, wie das etwa in Konfigurationen geschieht.<br />
Beispiel<br />
Die Dyck-Sprache D 1 der korrekt geklammerten Ausdrücke über den<br />
Alphabet X = {(, )} mit öffnender Klammer ( und schließender Klammer<br />
) wird von der kfG 〈{S}, {(, )}, S, 〉 mit den Produktionen<br />
S ε | (S) | SS erzeugt, und vom KA 〈{q 0 }, {(}, {(, )}, δ, {q 0 }, {q 0 }〉 mit<br />
folgenden Übergängen erkannt:<br />
start<br />
q 0<br />
ε/(/(<br />
(/)/ε<br />
(/(/((<br />
( )<br />
q 0 ε q 0 ( I , F<br />
( q 0 (( q 0 ε<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 164 / 191
Change language