Automaten und Formale Sprachen

Mitteilungen

• Um bei Interesse aktuelle Informationen (Raumänderungen, korrigierte Übungsaufgaben, ...) zu erhalten, tragen Sie sich bitte im Moodle-Kurs ein.
• Einige der Übungsaufgaben sind als Bonusaufgaben gekennzeichnet. Ihre handschriftliche Lösung dieser Aufgaben geben Sie bitte bis zum auf dem Übungsblatt verzeichneten Zeitpunkt (üblicherweise Montag der geraden Woche 11 Uhr) im Briefkasten vor dem Raum Z 1047 oder am Anfang der Montag-Übung ab. Diese werden korrigiert, die dabei erhaltenen Punkte werden in Bonuspunkte für die Klausur umgerechnet. Die korrigierten Lösungen werden in den Übungen zurückgegeben.
• Zu jedem 2. Übungstermin wird ein kurzer Test geschrieben, in dem Definitionen, Sätze etc. abgefragt werden. Auch die hierbei erhaltenen Punkte werden in Bonuspunkte für die Klausur umgerechnet.
• Neben den Übungen bieten wir auch regelmäßig eine Konsultation (Montags in der ungeraden Woche, 13 Uhr, HU 129) an. In dieser werden ausschließlich von Ihnen vorgebrachte Themen besprochen.
• Die ersten Übungen finden in der Woche vom 26.10.26 - 01.11.26 statt.
• In Vorbereitung auf die Abgabe der ersten Bonusaufgaben (Abgabe: 26.10.26 11 Uhr) findet bereits am 19.10.26 um 13 Uhr die erste Konsultation statt. 

Allgemeine Informationen zum Kurs

• Vorlesender: Prof. Dr. Dietrich Kuske
• Übungsleiterin: M. Sc. Lisa Barthel
• Moodle-Kurs: [WS26/27] Automaten und Formale Sprachen
• Modulbeschreibung (Campus-Portal)

Literatur

• Erk, Priese: "Theoretische Informatik", Springer 2008.
• Kozen: "Automata and Computability", Springer 1997.
• Hopcroft, Motwani, Ullman: "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley 2001.