Seminar: Automatentheorie

 

Wintersemester 2019/2020

 
Handapparat Informatik 7 in der Informatik Bibliothek Urheberrecht: M. Ritzert

Ansprechpartner

Telefon

work
+49 241 80 21706

E-Mail

E-Mail
 
 

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

Christof Löding