Vorlesung: Baum-Automaten (Überlick | Overview)


Termine

Die Vorlesung ist immer dienstags 12:30-14:00 im Seminarraum 03-68 (Hauptgebäude).

Am 18. 5. und 8. 6. findet die Veranstaltung um 15 Uhr statt (d. h. sie wird mit dem Theorie-Bereichsseminar unifiziert).


Aufgaben


Skript


Literatur

F. Gecseg, M. Steinby: Tree Automata, Akademiai Kiado, Budapest 1984.
Der Klassiker. Vergriffen.

H. Comon, M. Dauchet, R. Gilleron, D. Lugiez, S. Tison, M. Tommasi: Tree Automata Techniques and Applications
Easily available. Modern. Mit aktuellen Beispielen für Baum-Automaten-Techniken bei Termersetzung.

J. E. Hopcroft, J. D. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Addison-Wesley (Deutschland) 1992
Nützlich zum Vergleich. Enthält alles Wichtige über Automaten auf Wörtern.

G. Rozenberg, A. Salomaa: Handbook of Formal Languages, Springer 1997
Da steh nun wirklich alles drin. Der Preis ist entsprechend.

Software

J. Waldmann: RX
implementiert die Standard-Operationen für endliche Baum-Automaten

best viewed with any browser


http://www.informatik.uni-leipzig.de/~joe/ mailto:joe@informatik.uni-leipzig.de