Übungen
Automaten und Formale Sprachen

SS 2008

zur Vorlesung von Prof. Dr. Lohrey


Die Folien von Prof. Lohrey zur Vor- und Nachbereitung des Vorlesungsstoffes finden Sie hier.

Die Liste zur Übungsauswertung (Übungsscheine) finden Sie hier.

PRÜFUNG:
Die Prüfungsklausur hat am Montag, dem 4. August 2008, stattgefunden und die Wiederholungs- und Nachprüfung am 7. Oktober 2008.

Die Wiederholungsprüfung war für alle zum 4. August 2008 angemeldeten und zugelassenen Studenten, die diese Prüfung nicht erfolgreich absolviert haben (wegen Nichtteilnahme oder wegen Nichtbestehens) - ohne erneute Anmeldung - obligatorisch.

Die Prüfungsergebnisse sind auf dieser Seite veröffentlicht und die Resultate der Wiederholungs- und Nachprüfung hier. Auf diesen Seiten finden Sie jeweils auch Termine zur Einsichtnahme in Ihre korrigierten Klausuren.
Nehmen Sie bitte unbedingt den Prüfungsausschuss-Beschluss zur Durchführung von Prüfungen vom 9.1.2007 zur Kenntnis!

Übungsaufgaben-Archiv

Bisher gestellte Aufgaben

als Postscript-Files: als pdf-Files:
Serie 1 Serie 1
Serie 2 Serie 2
Serie 3 Serie 3
Serie 4 Serie 4
Serie 5 Serie 5
Serie 6 Serie 6
Prüfungsklausur Prüfungsklausur
Lösungen und Punktverteilung Lösungen und Punktverteilung


Literaturempfehlungen:
Asteroth, Alexander; Baier, Christel: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen, Pearson Studium 2002

Bucher, W.; Maurer, H.: Theoretische Grundlagen der Programmiersprachen, BI Wissenschaftsverlag, Zürich 1984

Гладкий, А. B.: формальные грамматики и языки, Мocква 1973

Hedtstück, U.: Einführung in die Theoretische Informatik. Formale Sprachen und Automatentheorie, Oldenbourg Wissenschaftsverlag 2004

Hopcroft, J. E.; Motwani, R.; Ullman, J. D.: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson Studium 2002

Schöning, Uwe: Theoretische Informatik - kurzgefasst, Spektrum, Akademischer Verlag 2001



Wer sich noch für Aufgaben aus dem vergangenen Semester interessiert, sollte hier klicken.

Prüfungsergebnisse des vergangenen Semesters

LOGIK-KLAUSUR
LOGIK-WIEDERHOLUNGSKLAUSUR

Bei Rückfragen scheuen Sie sich nicht davor, mit mir Kontakt aufzunehmen!


97-32202


rhartwig@informatik.uni-leipzig.de

[home]


Seite erstellt von Dr. Rolf Hartwig
Letzte Änderung: 13.10.2008