Keller-Automaten-Sprachen und CFG

Satz: Für alle Sprachen L gilt: $ \exists$ CFG G mit L(G) = L $ \iff$ $ \exists$ Kellerautomat A mit L(A) = L.

Beweis ( $ \Rightarrow$)



Johannes Waldmann 2005-01-28