Baumautomaten
» This course is given in German.
» There is an L2P learning room for this course.
Vorlesung im Sommersemester 2009
| Art | Termine / Ort | Beginn | Veranstalter |
|---|---|---|---|
| V2 | Mo 8:15–9:45, AH I | 20.04.2009 | Löding |
| Ü1 | Mi 8:15–9:45, AH I | 22.04.2009 | Löding, Spelten |
Inhalt
Gegenstand der Vorlesung ist die Theorie endlicher Automaten auf endlichen Bäumen. Im ersten Teil wird die Theorie der Wortautomaten auf Automaten für beschränkt verzweigte Bäume (oder auch Terme) verallgemeinert. Im zweiten Teil werden Automaten auf unbeschränkt verzweigten Bäumen betrachtet und der Zusammenhang zu Schemasprachen für XML-Dokumente analysiert.
Die Inhalte der Vorlesung werden teilweise von dem Skript Applied Automata Theory abgedeckt.
Organisatorisches
Studierende des Diplomstudienganges Informatik können den ersten Teil dieser Vorlesung als Ergänzung der Vorlesung "Angewandte Automatentheorie" von Prof. W. Thomas in diesem Semester auf eine V4+Ü2 verwenden.
Sprache
Deutsch
Leistungen
Klausurarbeit oder mündliche Prüfung
Vorwissen
Es werden Grundlagen aus der Automatentheorie, der Berechenbarkeitstheorie und der Logik vorausgesetzt, wie sie in den Vorlesungen des Grundstudiums Informatik vermittelt werden.