Formale Systeme, Automaten, Prozesse: Pumping Lemma für Kontextfreie Sprachen, Kellerautomaten (Di, 30.06.2009)