Advanced Automata Theory
Vorlesung im Sommersemester 2020
Inhalt
In dieser Vorlesung erweitern wir die Konzepte und Resultate der Bachelor-Vorlesung "Formale Systeme, Automaten und Prozesse". Mögliche Anwendungen für diese Ergebnisse finden sich in Bereichen der Informationsverarbeitung und Systemanalyse.
The folgenden Themen werden in dieser Vorlesung behandelt:
- Minimierung von nichtdeterministischen Automaten
- Zusammenhang von Automaten und Logik
- Automaten auf endlichen Bäumen
- Algorithmen für unendliche Transitionssysteme
- Unentscheidbarkeitsresultate in der Automatentheorie
Voraussetzungen
Grundlegende Vorkenntinsse im Bereich der Automatentheorie zum Beispiel aus der FoSAP Vorlesung werden für die Teilname an dieser Vorlesung vorausgesetzt.
Organisation
Die Vorlesung wird in Englisch gehalten.
Termine
Vorlesung: Montags, Video-Upload in Moodle
Globalübung: Mittwochs 12:30-14:00 Uhr in Zoom
Dozent
Übungsaufgaben
Wir werden wöchentliche Übungsaufgaben veröffentlichen. Das erfolgreiche Bearbeiten dieser Aufgaben, dass heißt es wurden mindestens 50% der erreichbaren Punkte gesammelt, ist erforderlich für die Klausurzulassung.
Klausur
Zum erfolgrichen Absolvieren der Vorlesung gehört das bestehen einer schriftlichen Klausur.
Die genauen Details zur Klausur werden im Moodle bekannt gegeben.