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)
• Kapitel: Kontextfreie Sprachen (pdf)
• Lexertool JLex/Parsertool Jay (pdf)
• Kapitel: Kontextsensitive und allgemeine Sparchen (pdf)
• Kapitel: Komplexitätstheorie (pdf)

Übungsblätter

• Blatt 1 (pdf)
• Blatt 2 (pdf)
• Blatt 3 (pdf)
• Blatt 4 (pdf)
• Blatt 5 (pdf)
• Blatt 6 (pdf)
• Blatt 7 (pdf)
• Blatt 8 (pdf)
• Blatt 9 (pdf)
• Blatt 10 (pdf)

Musterlösungen

• Aufgabe 1.3 add.c, addmul.c, addmulhoch.c
• Aufgabe 1.4 Minus1.c, Minus.c
• Aufgabe 2.1 mue_einhalb.c, mue_Log2.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.
• JLex2.jar
• BrowserLexer (alle Dateien)
• skeleton.jaooy
• yydebug.jar

Dokumentationen

• Literaturliste (pdf)
• Original JLex-Manual
• Original jay-Dokumentation
• Studienarbeit jaooy