Übungen
Berechenbarkeit
SS 2009

zur Vorlesung von Prof. Dr. Lohrey


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

Die Prüfungsklausur "Berechenbarkeit" fand am Montag, dem 13. Juli 2009, statt.
Die Prüfungsergebnisse finden Sie hier.
Der Termin der Nach- und Wiederholungsklausur war der 12. Oktober 2009.
Die Ergebnisse dieser Prüfung finden Sie hier.


Die Ergebnisse der an den Übungen beteiligten Studenten finden Sie hier.

Ü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
Wiederholungsprüfung Wiederholungsprüfung



Hier finden Sie ein gutes, benutzerfreundliches Programm zur Simulation von TURING-Maschinen, mit dem Sie Ihre Eigenkonstruktionen von TURING-Maschinen auf ihre Funktionsfähigkeit testen können.
Im folgenden Beispiele für TURING-Maschinen entsprechend den Übungsaufgaben 3., 4., 5. und 7. für dieses Simulationsprogramm: Unärverdoppler, Spiegelung links, Sprach-Akzeptierer A B C gleiche Anzahl und Unär2Binär-Konvertierer.
(Herunterladen durch Rechtsklick und Ziel speichern unter ...)


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

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 den vergangenen Semestern interessiert, sollte hier klicken.
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: 16.10.2009