StuMS
Studierenden-Management-System
Theoretische Informatik
In diesem Modul werden die folgenden Themengebiete behandelt:
- Grundbegriffe: Wörter, Alphabete, formale Sprachen, Entscheidungsprobleme, (effiziente) Lösungsalgorithmen für Entscheidungsprobleme
- Formale Sprachen/Automatentheorie: Chomsky-Grammatiken, Chomsky-Hierarchie, Wortproblem, entscheidbare und effektiv aufzählbare Sprachen, rechtslineare Sprachen, endliche Automaten, nichtdeterministische Automaten, Nerode-Relation und Nerode-Index, Minimierungsalgorithmus für deterministische Automaten, kontextfreie Sprachen, Chomsky-Normalform, CYK-Algorithmus, PumpingLemma für kontextfreie Sprachen, Kellerautomaten, deterministische Kellerautomaten
- Berechnungstheorie: unlösbare algorithmische Probleme
Stefan Milius (Dozent)
Stefan Milius ist Professor am Lehrstuhl für Theoretische Informatik an der FAU Erlangen-Nürnberg. Er studierte Informatik in Braunschweig und Mathematik in Toronto. Er promovierte 2005 an der TU Braunschweig, war dann in der Industrie tätig und habilitierte sich 2012 ebenfalls an der TU Braunschwei...