Folien
Folien
Folien
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Automaten und Berechenbarkeit 31<br />
Beispiel: PAL := {ww R : w ∈ {a,b} ∗ } ist durch einen<br />
nichtdeterministischen Kellerautomaten akzeptierbar.<br />
Lemma 2.4 Zu jedem Kellerautomaten A = (Z,X,Γ,z0,k0,∆,Zf) gibt<br />
es einen Kellerautomaten Aε = (Z ′ ,X,Γ ′ ,z ′ 0 ,k′ 0 ,∆′ ,∅) mit<br />
L(A) = N(Aε).<br />
Lemma 2.5 Die Umkehrung gilt auch, d.h. zu jedem Kellerautomaten<br />
Aε = (Z,X,Γ,z0,k0,∆,∅) gibt es einen Kellerautomaten<br />
A = (Z ′ ,X,Γ ′ ,z ′ 0 ,k′ 0 ,∆′ ,Z ′ f ) mit N(Aε) = L(A).<br />
Satz 2.6 Zu jeder kontextfreien Grammatik G gibt es einen<br />
Kellerautomaten A mit L(G) = N(A) und umgekehrt.<br />
Lemma 2.7 Zu jeder kontextfreien Grammatik G = (N,X,S,P) gibt es<br />
einen Kellerautomaten A = (Z,X,Γ,z0,k0,∆,∅) mit L(G) = N(A).
Change language