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.