Zur Startseite der Abteilung Theoretische Informatik

Automaten über unendlichen Objekten (WS 2015/16)

Organisatorisches

Dozenten: Volker Diekert, Manfred Kufleitner

Übung: Jan Philipp Wächter

Zeit Raum Termine
Di 14:00-15:30 0.124 wöchentlich ab 13.10.
Do 11:30-13:00 0.124 wöchentlich (Vorlesung/Übung im Wechsel) ab 15.10.

Am Donnerstag, den 10. Dezember 2015, findet von 11:30 bis 12:30 die Vorlesung statt, anschließend findet ein gemeinsames Mittagessen statt.

Am Donnerstag, den 17. Dezember 2015, besuchen wir den Weihnachtsmarkt in Stuttgart. Alle Teilnehmer sind herzlich eingeladen mitzukommen. Treffpunkt ist kurz vor 18:00 Uhr am Nordausgang des Informatikgebäudes.

Materialien

  • Skript zur Vorlesung Automaten über unendlichen Wörtern vom Wintersemester 2011/2012 [PDF]
  • Abschnitt über das Krohn-Rhodes-Theorem [PDF]

Veröffentlichungen

Literatur