Direkt zum Hauptmenü
Direkt zum Inhalt
Direkt zum Fußbereich

Google Suche

Automatentheorie

TU Ilmenau

Kontakt

Prof. Dr. Dietrich Kuske
Fachgebietsleiter

Telefon: +49 3677 69-1444

E-Mail: dietrich.kuske@tu-ilmenau.de

Informationen zur Veranstaltung "Automatentheorie" (Sommer 2025)

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.

Materialien

Materialien zur Vorlesung oder zur Übung werden im Laufe des Semesters aktualisiert.

Übungsblatt 1 (Besprechung am 16.04.2025)
Übungsblatt 2 (Besprechung am 30.04.2025)
Übungsblatt 3 (Besprechung am 14.05.2025)
Übungsblatt 4 (Besprechung am 28.05.2025)
Übungsblatt 5 (Besprechung am 11.06.2025)
Übungsblatt 6 (Besprechung am 25.06.2025)
Übungsblatt 7 (Besprechung am 09.07.2025)

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.