Theorie: LBA
Erweiterte Uebergangsnetzwerke

Es handelt sich um die linguistische Variante eines LBA. Erweiterte Uebergangsnetzwerke (Augemented Transition Networks, ATN) besitzen beliebig viele Speicher und der Umfang einzelner Speichereinträge ist unbegrenzt. Es lassen sich auf einer Kante Bedingungen sowie auch Aktionen zuordnen. Bedingungen können sich auf den Inhalt mehrerer Speicher beziehen und lassen somit beispielsweise die Ueberprüfung von Numeruskongruenz zu. Aktionen beinhalten auch das Speichern des Resultats der Abarbeitung. Somit lässt sich eine Syntaxstruktur ausgeben, ohne dass der Automat zu einem Transducer erweitert werden muss.