Theorie
PDA
Push Down Automaton
Kontextfreie Sprachen
Rekursive Übergangsnetzwerke