Theoretische Informatik 3 (Formale Sprachen und Automaten 1 + 2)

Skript

• Kapitel: Berechenbarkeit (pdf)
• Kapitel: Grundlagen der Theorie der formalen Sprachen (pdf)
• Kapitel: Reguläre Sprachen (pdf)

Übungsblätter

• Blatt 1 (pdf)
• Blatt 2 (pdf)

Musterlösungen

• Aufgabe 1.3 add.c, addmul.c, addmulhoch.c
• Aufgabe 1.4 Minus1.c, Minus.c

Programme aus der Vorlesung

• Das Include-File LOOP.h erlaubt das programmieren von LOOP-Programme in C.
• Das Include-File WHILE.h erlaubt das programmieren von WHILE-Programme in C.

Dokumentationen

• Literaturliste (pdf)