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 - es werden dort ab Januar Listen ausgehängt, in die sich die Kandidaten eintragen müssen. Die Prüfungstermine sind der 14.2.2008 und der 21.2.2008.

Übung:
2 SWS Übung zur Vorlesung
Übungsleiter: Dipl.-Inf. Michael Tautschnig
Mittwoch, 16:00-17:30 Uhr, Raum 03.09.014
Weitere Informationen finden Sie hier

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.

• Engeler and Läuchli. Berechnungstheorie für Informatiker. Teubner, 1992.
• Hopcroft and Ullman. Introduction to Automata Theory, Languages, and Computations. Addison-Wesley, 1979.
• Kfoury, Moll and Arbib. A Programming Approach to Computability. Springer, 1982.
• Schöning. Theoretische Informatik -- kurz gefasst. Spektrum, 2001.

Sprechstunde:
nach Vereinbarung