Für die Klausur schauen Sie sich bitte zusätzlich zu den Notizen, die
Sie sich selbst in der Vorlesung gemacht haben, die folgenden Dateien
bzw. Teile von Dateien an!

beamer.pdf
logik.pdf
grammar.pdf
skript.pdf nur die Teile
   2.5 Chomsky-Grammatiken bis Beispiel 64
   2.6 Turingmaschinen
aufgaben.pdf       
tafelfotos/

Ich moechte nochmal darauf hinweisen, dass bei der Klausur auch
erwartet wird, dass Sie Beweise oder Begruendungen fuer Aussagen
wie etwa Unentscheidbarkeit der Terminierung von Programmen oder
Unentscheidbarkeit des Halteproblems fuer Turingmaschinen oder
dafuer, dass eine Sprache regulaer oder nicht regulaer ist,
durchfuehren koennen. Schaun Sie sich die entsprechenden Teile
der Vorlesung auch daraufhin nocheinmal an und versuchen Sie zur
Vorbereitung auf die Klausur nochmal, entsprechende Beweise oder
Begruendungen anhand einiger Beispiele durchzufuehren!