Satz: Für alle Sprachen L gilt: CFG G mit L(G) = L Kellerautomat A mit L(A) = L.
Beweis ( )
-Übergang (w, z0, Bk')(w, z0, wk')
Übergang (xw', z0, xk')(w', z0, k').