Homepage:
http://www.informatik.tu-darmstadt.de/AFS/EA
(kommentiertes
Vorlesungsverzeichnis)
Aktuelles/Termine:
Zum „interaktiven“
arbeiten mit dem Automatenmodell ist evtl. Der GdI4-Commander von
Tobias U. Mann interessant
siehe
http://www.informatik.tu-darmstadt.de/inf4/uebungen.html
Die Vorlesung findet ab sofort (Mo und DO) in S4 03 (Wilhelminenstr.) Raum C301 statt.
Skript: Liegt am AFS aus (+ 10 x „wie fängt man Mäuse“)
Seminar-Übung: Bis spätestens Mo 10.11.03 bitte eine email mit Name und bevorzugtem Thema an kilian@iti.informatik.tu-darmstadt.de
Mo 10.11.03, 14.25 Uhr Themenvergabe für Seminar-Übung
Mo 1.12.03, 14.25 Uhr Start der Vorlesung (jeweils Mo 14.25-16.05 Uhr und jeden Do 11.40-13.20 Uhr)
Übung-Seminarvorträge:
|
|
Donnerstag 5.2.04 14.30 Uhr bis 17.30 Uhr (3 Vorträge) |
|---|---|
|
|
Freitag 6.2.04 13.00 Uhr bis 15.00 Uhr (2 Vorträge) |
|
|
|
Fragen, Betreuung; Jürgen Kilian, kilian@iti.informatik.tu-darmstadt.de, Tel: 06151/16-6184, Raum S04/C308
Literaturhinweise:
W. Thomas.
Automata on infinite objects.
In J. van Leeuwen,
editor, Handbook of Theoretical Computer Science,
Volume
B: Formal Models and Semantics, pages 133-192. Elsevier Science
Publishers, Amsterdam, 1990.
Ulrike
Brandt.
Wie fängt man Mäuse ?
Technical Report
AFS-3/03
Download:
http://www.informatik.tu-darmstadt.de/AFS/EA/ti-3_03.pdf
Common,
Dauchet, Gilleron, Jacquemard, Lugiez, Tison, Tommasi.
Tree
Automata Techniques and
Applications
http://www.grappa.univ-lille3.fr/tata/
F.
Gecseg and M.Steinby. Algebraic Theory of
Automata
Budapest Verlag
Akad‚miai, Kiad¢
W.
Brauer,
Automatentheorie,
TeubnerVerlag, 1984
S.
Duval, Mohamed Tajine, Djamchid Ghazanfarpour
Fractal Modeling
with Infinite Trees
Im Web oder bei J. Kilian
Zurück zur AFS Seite