Mitteilungen

Die mündlichen Prüfungen im Fach "Automatentheorie" finden am 21.07.2022 und 28.09.2022 statt. Melden Sie sich hierzu im Zeitraum vom 22.06.2022 bis 29.06.2022 sowohl im Thoska-System wie auch per Mail bei Frau Hering an. Weitere Informationen finden Sie unter diesem Link.

  • Um Ihnen ggf. Informationen (Ausfall von Veranstaltungen, Raumänderungen etc.) über diesen Kurs im SS 2022 zukommen lassen zu können, tragen Sie sich bitte im Moodle-System ein.
  • Die Montags-Vorlesung findet ab 11.04.2022 erst um 15:00 - 16:30 Uhr im Raum H 2506 statt.
  • Am Freitag, den 15.07.2022, findet um 9:00 Uhr eine Konsultation im Sr K2002A statt. Bereiten Sie sich bitte hinreichend vor und überlegen Sie sich Fragen, über die wir noch einmal genauer reden sollten.

Materialien

Übungsblatt 1 (Besprechung am 19.04.2022)
Übungsblatt 2 (Besprechung am 03.05.2022, korrigiert am 03.05.2022)
Übungsblatt 3 (Besprechung am 20.05.2022)
Übungsblatt 4 (Besprechung am 31.05.2022, korrigiert am 31.05.2022)
Übungsblatt 5 (Besprechung am 14.06.2022)
Übungsblatt 6 (Besprechung am 28.06.2022)
Übungsblatt 7 (Besprechung am 12.07.2022)

Termine

Vorlesung:

Montag, 15:00 -16:30 Uhr, Sr H 2506, M.Sc. Chris Köcher
Freitag (U), 09:00 - 10:30 Uhr, Sr K 2002A, M.Sc. Chris Köcher

Übungen:

Dienstag (G), 17:00 - 18:30 Uhr, Sr K 2003B, M.Sc. Chris Köcher

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).