Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kontextfreie Sprachen<br />
Kellerautomaten<br />
Darstellung von Kellerautomaten<br />
Wir entwickeln die graphische Darstellung von εNEAs fort. Falls b ∈ B ε<br />
so schreiben wir<br />
q<br />
b/a/r<br />
p<br />
anstelle von<br />
〈〈q, b〉, 〈p, r〉〉 ∈ δ(a)<br />
(Äußere) Anfangs- und Endzustände werden markiert wie zuvor.<br />
Auch wenn die resultierenden Graphen äußerlich den bekannten εNEAs<br />
entsprechen, ist zu beachten, daß die neuen Pfeile nicht notwendig<br />
komponierbar sind, da ihre Label auch Zustandsinformationen tragen:<br />
b/a/r b ′ /a ′ /r ′ ist (nicht) komponierbar, sofern<br />
q p o<br />
r ∈ B + (nicht) mit b ′ beginnt.<br />
Falls r = ε , kommt es auf das aktuelle Stack-Element unterhalb von b ′<br />
an, ob eine Komposition möglich ist.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 163 / 191
Change language