Automaten, Formale Sprachen und Berechenbarkeit

Auf dieser Seite stelle ich eine geTEXte Mitschrift der Vorlesung “Automaten, Formale Sprachen und Berechenbarkeit” von Prof. Ekkart Kindler zur Verfügung. Herr Kindler hat sich freundlicher Weise bereit erklärt dieses Skript zu überarbeiten, so dass es jetzt als weitestgehend fehlerfrei angesehen werden kann. Es steht auch auf den Seiten zur Vorlesung zum Download bereit.

Ich habe auch versucht, die einzelnen JPEG-Dateien der Musterlösungen für die Übungen in sinnvoller Weise in ein PDF-File zu packen.

Skript zur Vorlesung

Erstellt von Prof. Ekkart Kindler und Steffen Manthey

• Version 1.3 (PDF) vom 12. Mai 2002 [ 1040 kB]

Musterlösungen für die Übungen als PDF

• Übung 01 (PDF) vom 22. Oktober 2001 [ 990 kB]
• Übung 02 (PDF) vom 29. Oktober 2001 [ 570 kB]
• Übung 03 (PDF) vom 05. November 2001 [ 920 kB]
• Übung 04 (PDF) vom 12. November 2001 [ 500 kB]
• Übung 05 (PDF) vom 19. November 2001 [ 700 kB]
• Übung 06 (PDF) vom 26. November 2001 [ 545 kB]
• Übung 07 (PDF) vom 03. Dezember 2001 [ 520 kB]
• Übung 08 (PDF) vom 11. Dezember 2001 [ 600 kB]
• Übung 09 (PDF) vom 07. Januar 2002 [ 870 kB]
• Übung 10 (PDF) vom 14. Januar 2002 [ 550 kB]
• Übung 11 (PDF) vom 21. Januar 2002 [ 600 kB]
• Übung 12 (PDF) vom 28. Januar 2002 [ 740 kB]
• Übung 13 (PDF) vom 04. Februar 2002 [ 360 kB]