Mitteilungen

Die mündlichen Prüfungen im SS 2023 nimmt Prof. Kuske am 31.07.2023 ab. Bitte beachten Sie zur Terminvergabe die Hinweise.

 

Um Ihnen ggf. Informationen (Ausfall von Veranstaltungen, Raumänderungen etc.) über diesen Kurs zukommen lassen zu können, tragen Sie sich bitte im Moodle-System ein.

Am 4.04 findet anstatt der Übung eine Vorlesung statt. Die Vorlesung am 10.04 (Ostermontag) fällt aus.

Materialien

Übungsblatt 1, Besprechung am 18.April
Übungsblatt 2, Besprechung am 02.Mai
Übungsblatt 3, Besprechung am 16.Mai
Übungsblatt 4, Besprechung am 30.Mai
Übungsblatt 5, Besprechung am 27.Juni
Übungsblatt 6, Besprechung am 11.Juni

Termine

Vorlesung:

Montag, 15:00 -16:30 Uhr, Sr H 2506, M.Sc. Christopher Hugenroth
Freitag (U), 09:00 - 10:30 Uhr, Sr HU 011, M.Sc. Christopher Hugenroth

Übungen:

Dienstag (G), 13:00 - 14:30 Uhr, Sr H 2506, M.Sc. Christopher Hugenroth

Literatur

  • Kuich, Salomaa: "Semirings, Automata, Languages", Springer 1985.
  • Berstel, Reutenauer: "Rational Series and Their Languages", Springer 1988.
  • Droste, Kuich, Vogler: "Handbook of Weighted Automata", Springer 2009.
  • Droste, Kuske: "Weighted Automata" in Handbook of Automata Theory, EMS Print 2001 (Link).