Seminar: Automatentheorie
Wintersemester 2019/2020
Inhalt
Es werden Themen aus dem Bereich der Automatentheorie anhand von Originalarbeiten oder Buchkapiteln behandelt. Einige Stichworte zu den Themengebieten sind: probabilistische und gewichtete Automaten, Lernverfahren für Automaten, Algorithmen für Automaten und Logik, Baumautomaten.
Voraussetzungen
Voraussetzung für eine erfolgreiche Teilnahme am Seminar sind ein sicherer Umgang mit den Themen der Vorlesungen "Formale Systeme, Automaten und Prozesse" sowie "Berechenbarkeit und Komplexität". Kenntnisse aus fortgeschrittenen Automatentheorie-Vorlesungen wie z.B. "Advanced Automata Theory" sind hilfreich aber nicht zwingend notwendig.
Organisatorisches
Das Seminar wird als Blockseminar gegen Ende der Vorlesungszeit gehalten.
Dozent