Angewandte Automatentheorie
» This course is given in German.
» There is an L2P learning room for this course.
Vorlesung im Sommersemester 2007
| Art | Termine/Ort | Beginn | Veranstalter |
|---|---|---|---|
| V4 | Mo 14:00 - 15:30 AH I Mi 10:00 - 11:30 AH II |
04.04.2007 |
Thomas, Löding |
| Ü2 | Mi 15:00 - 16:30 AH VI | 04.04.2007 | Spelten, Löding |
Inhalt
In dieser Theorievorlesung werden grundlegende Begriffsbildungen und Ergebnisse der Automatentheorie vorgestellt, die in den Anwendungen bei der Verwendung von Automaten zur Informationsverarbeitung oder zur Systemkonstruktion und -analyse benötigt werden. Die Vorlesung gliedert sich in zwei große Teile. Im ersten Teil werden endliche Automaten auf Wörtern und Bäumen betrachtet. Themenstichworte sind:
- Minimierungsverfahren für Automaten (Zustandsäquivalenz, Bisimulation)
- Zusammenhang zwischen Logiken und Automaten
- Lernalgorithmen für Automaten
- Baumautomaten und die Auswertung von XML-Dokumenten
Der zweite Teil befasst sich mit Erweiterungen von endlichen Automaten zur Modellierung und Analyse von unendlichen Systemen. Die wesentlichen Stichworte für diesen Teil sind:
- Pushdown- und Zähler-Systeme
- Kommunizierende endliche Automaten
- Petrinetze
Die Inhalte der Vorlesung werden zum großen Teil von dem Skript Applied Automata Theory, das auf der Skriptenseite zu finden ist, abgedeckt. In einigen Teilen wird die Vorlesung aber von diesem Skript abweichen.
Vorkenntnisse
Diese Vorlesung wendet sich an Studierende ab dem 5. Fachsemester. Die Grundlagen der Automaten- und Berechenbarkeitstheorie und der mathematischen Logik, wie sie im Grundstudium vermittelt werden, werden vorausgesetzt.
Credit Points
8 ECTS
Bemerkungen
Da sich Prof. W. Thomas im Sommersemester 2007 im Forschungsfreisemester befindet, wird die Vorlesung von Dr. Christof Löding gehalten. Prof. Thomas wird aber Prüfungen über diese Vorlesung abnehmen.