Automaten und formale Sprachen II

Worum geht's

Du beschäftigst dich mit fortgeschrittenen Themen der Automatentheorie, z. B. Baumautomaten, gewichtete Automaten und Automaten für die Verifikation unendlicher Zustandsräume. Am Ende kannst du passende Automatenmodelle auswählen, Automaten konstruieren und automatentheoretische Techniken auf Probleme wie Textanalyse oder Programmverifikation anwenden.

Was du danach kannst

• Automatenmodelle für gegebene Sprachen auswählen
• Automaten für gegebene Sprachen konstruieren
• Operationen auf Automaten durchführen und ihre Komplexität abschätzen
• Automatentheoretische Methoden auf Anwendungen (z. B. Textanalyse, Programmverifikation/-analyse) anwenden
• Verstehen, warum Automaten außerhalb klassischer Anwendungen relevant sind und welche Anwendungen es gibt

Aus was das Modul besteht

• VorlesungVermittlung der Theorie; Vorlesungen enthalten auch kleine Online-Übungen
• Übungen / TutoriumWöchentliche Aufgaben werden ausgegeben und in den Tutorien besprochen

Lehrmethode

• VorlesungEinführung in Konzepte und Lösungsverfahren; Integration kleiner Online-Aufgaben zur aktiven Teilnahme
• Tutorium/ÜbungBesprechung und Übung der wöchentlichen Aufgaben zur Vertiefung und Anwendung