Bereich:
4 SWS Vorlesung im Bereich Informatik III (Theoretische Informatik)
Wahlfach aus dem Fachgebiet "Formale Methoden und ihre Anwendungen" (FMA)

Klausur:
In diesem Semester gibt es anstatt der Klausur mündliche Prüfungen. Anmeldung dazu im Bereich 03.11.051

Übung:
2 SWS Übung zur Vorlesung
Übungsleiter: Dipl.-Inf. Michael Tautschnig
Dienstag, 16:00-17:30 Uhr, Raum 03.09.014

Hörerkreis:
Studierende im Hauptstudium der Informatik
Studierende im Master-Studiengang Informatik
Studierende mit Nebenfach Informatik

Voraussetzungen:
Stoff des Informatik-Grundstudiums, insbesondere TGI und die Vorlesung Informatik IV

Inhalt:
siehe PDF/PS unten

Literatur: (in alphabetischer Reihenfolge)
Automatentheorie:

• W. Brauer. Automatentheorie, Teubner, 1984.
• J. E. Hopcroft and J. D. Ullman. Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.
• J. M. Howie. Automata and Languages, Oxford Science Publications, 1991.
• D. Perrin and J.-E. Pin. Infinite Words: Automata, Semigroups, Logic and Games. Pure and Applied Mathematics Vol 141, Elsevier, 2004.

Sprechstunde:
nach Vereinbarung