Wiederholung
Kontextfreie Sprachen und Kellerautomaten
Konstruktion eines PDA aus einer Grammatik
Beispiel
Linksableitung
Beweis der Konstruktion
Von PDAs zu Grammatiken
Konstruktion einer Grammatik aus einem PDA
Beispiel
Beweis der Konstruktion
Deterministische Kellerautomaten
Eigenschaften von DPDAs