Automaten, Sprachen, Komplexität
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.
Voraussetzungen
Es werden keine besonderen Vorkenntnisse vorausgesetzt.
Organisation
Die Vorlesung wird auf Deutsch gehalten.
Termine
Die Termine sind in RWTHonline und in Moodle zu finden.
Dozent