Theorie
LBA
Linear Bounded Automaton
Kontextsensitive Sprachen
Erweitertes Übergangsnetzwerk
