Inhalt
Kurzkommentar |
Vorbesprechung und erster Vorlesungstermin: Dienstag, 7. April 2020, 16 Uhr c.t., Hörsaal 8
|
Kommentar |
Formale Sprachen haben wichtige Anwendungen u.a. im Bereich der Entwickelung von Programmiersprachen. Die klassischen analysierenden und erzeugenden Systeme formaler Sprachen werden vorgestellt: die Hierarchie der Automaten und die der Chomsky-Grammatiken, wobei die einzelnen Sprachklassen diskutiert werden unter besonderer Berücksichtigung ihrer Bedeutung für die Informatik, vor allem den Compilerbau. Danach behandeln wir für die Mathematik wie für die Informatik grundlegende Begriffe wie "Algorithmus", "Berechenbarkeit" und "Entscheidbarkeit".
|
Literatur |
J. E. Hopcroft / R. Motwani / J. D. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Berechenbarkeit. Pearson Studium 2011 A. Asteroth / C. Baier. Theoretische Informatik. Pearson Studium 2003 E. Rich. Automata, Computability, and Complexity. Pearson Education 2008 G. Vossen / K.-U. Witt. Grundlagen der Theoretischen Informatik mit Anwendungen. Vieweg 2002 |
Voraussetzungen |
Grundlagen der Informatik, Algorithmen
|
Zielgruppe |
Master Mathematik (Modul Erg.InfASB), Master Informationstechnologie (Modul MIT04), Informatik im Master of Education (Modul INF I), Lehramt Informatik (Modul H2) |