Übung
Vorlesung
Reptitiorium
Klausur
Lernziel Ziel ist die Vermittlung grundlegender Kenntnisse, Denkweisen und Konzepte der formalen Sprachen und der Berechenbarkeit. Als Folgerung sollen den Studierenden die prinzipiellen Möglichkeiten und Grenzen der Informationsverarbeitung aufgezeigt werden.
Zentrale Themen sind
Formal Languages
The aim this course is to impart basic knowledge on concepts of formal languages and computability. The course present knowledge on the limits of information processing.
Key topics include
• Automata Theory
• Formal Languages
• Machine Models
• Computability
J.E. Hopcroft, R. Motwani, J.D. Ullman, Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, 2011, Pearson Studium
Diskrete Mathematik
Medieninformatik B.Sc.