Unterlagen zu den Vorlesungen

1. Unterlagen zur Vorlesung Formale Sprachen:
   • Hier finden Sie den ersten Teil des Skripts.
   • In dem Verzeichnis JFlex finden Sie die Beispiele für JFlex.
   • In dem Verzeichnis Aufgaben finden Sie die Lösungen für einige der Aufgaben, die wir in den Übungen bearbeitet haben.
   • In dem Verzeichnis Java finden Sie die beiden Top-Down-Parser für arithmetische Ausdrücke. Außerdem befindet sich der Shift-Reduce-Parser in diesem Verzeichnis.
   • In dem Verzeichnis ANTLR finden Sie die Beispiele für ANTLR.
2. Unterlagen zur Vorlesung Mathematik für Informatiker:
   • Hier finden Sie den Anfang des Skripts. Das Skript wird ständig erweitert.
3. Unterlagen zur Vorlesung Grundlagen der Informatik:
   • Hier finden Sie den Anfang des Skripts. Das Skript wird ständig erweitert.
   • Die SetlX-Programme finden Sie in dem Verzeichnis Logic/SetlX-Programs.
   • Die Eingabe-Dateien für Prover9 beziehungsweise Mace4 finden Sie in den Verzeichnissen Prover9 bzw. Mace4.
   • Die Prolog-Programme finden Sie in dem Verzeichnis Prolog.
   • Die Sprache SetlX können Sie hier herunterladen.