Automaten auf unendlichen Wörtern
» Diese Veranstaltung wird auf deutsch gehalten.
» Es gibt einen L2P-Lernraum zu dieser Veranstaltung.
Vorlesung im Wintersemester 2008/2009
| Art | Termine/Ort | Beginn | Veranstalter |
|---|---|---|---|
| V2 | Mi 08:15-09:45, AH I | 22.10.2008 | Löding |
| Ü1 | Fr 14:00-14:45, AH II | 24.10.2008 | Löding, Spelten |
Die Vorlesung beginnt erst in der zweiten Vorlesungswoche.
Inhalt
Endliche Automaten auf unendlichen Wörtern (omega-Automaten) sind das zentrale Hilfsmittel bei der formalen Analyse nichtterminierender Systeme (etwa zur Prozessverwaltung und Steuerung von Anlagen). Die Ergebnisse der vorgestellten Theorie werden in der automatischen Verifikation und Synthese solcher Systeme eingesetzt.
Im Zentrum stehen die logischen und algorithmischen Eigenschaften der omega-Automaten. Stichworte zur Gliederung der Vorlesung:
- Büchi-Automaten;
- Deterministische omega-Automaten;
- Akzeptierbedingungen und die Klassifikation von omega-Sprachen;
- Anwendungen in Logik und Verifikation.
Vorwissen
Gute Kenntnisse der Grundveranstaltungen Automatentheorie und Formale Sprachen bzw. Formale Systeme, Automaten, Prozesse werden vorausgesetzt.
Credit Points
4 ECTS