Automaten, Sprachen, Komplexität
Vorlesung im Sommersemester 2015
Inhalt
In dieser Vorlesung wird – verankert in Beispielen aus den Anwendungen – eine Einführung in zentrale Begriffe und Sachverhalte der theoretischen Informatik gegeben. Dabei werden verschiedene Automatenmodelle, Methoden der Spezifikation formaler Sprachen sowie Fragen zur Berechenbarkeit und Berechnungskomplexität behandelt.
Organisation
Vortragssprache in Deutsch.
Dozent