Advanced Automata Theory

 

Vorlesung im Sommersemester 2019

   

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

Dozent

Christof Löding

 

Ü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.