Advanced Automata Theory

 

Vorlesung im Sommersemester 2018

 
Vorlesungsfolie aus AAT über den Blockverfeienerungsalgorithmus Urheberrecht: C. Löding
 

Termine

Vorlesung
Di, 10:15 - 11:45 Uhr (AH II)
Mi, 12:15 - 13:00 Uhr (AH III)

Übung
Mo, 14:15 - 15:45 Uhr (AH II)

 
 

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

Dienstag, 10:15 Uhr - 11:45 Uhr im AH II
Mittwoch, 12:15 Uhr - 13:00 Uhr im AH III

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.

Die Lösungen der Übungsaufgaben werden immer Freitags, 14:15-15:45 Uhr im AH II vorgestellt.

Klausur

Zum erfolgrichen Absolvieren der Vorlesung gehört das bestehen einer schriftlichen Klausur.
Die genauen Details zur Klausur werden im L2P bekannt gegeben.