Beschreibung |
Lernziel Ziel ist die Vermittlung grundlegender Kenntnisse, Denkweisen und Konzepte der formalen Sprachen, der Berechenbarkeit und der Komplexitätstheorie. Als Folgerung sollen den Studierenden die prinzipiellen Möglichkeiten und Grenzen der Informationsverarbeitung aufgezeigt werden.
Zentrale Themen sind
- Automaten Theorie
- Formale Sprachen
- Maschinen Modelle
- Berechenbarkeit
|
Literatur |
J.E. Hopcroft, R. Motwani, J.D. Ullman, Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, 2011, Pearson Studium |