Mitteilungen
- Die mündlichen Prüfungen im SS 2025 nimmt Prof. Kuske vom 28.07. - 31.07.2025 ab. Bitte beachten Sie zur Terminvergabe die Hinweise.
- Um bei Interesse aktuelle Informationen (Raumänderungen, korrigiert Übungsaufgaben, ...) zu erhalten, tragen Sie sich bitte im Moodle-Kurs ein.
Allgemeine Informationen zum Kurs
Termine
- Vorlesung: (Prof. Dr. Dietrich Kuske)
Montag, 15:00 - 16:30 Uhr, Sr H 2506 (Helmholtzbau)
Freitag (U), 11:00 - 12:30 Uhr, Sr H 2506 (Helmholtzbau) - Übungen: (M. Sc. Lisa Barthel)
Mittwoch (G), 11:00 - 12:30 Uhr, Sr H 1519 (Helmholtzbau)
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.