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
http://www.informatik.uni-leipzig.de/~joe/
mailto:joe@informatik.uni-leipzig.de