Übungsblätter
| Nr. | Abgabetermin | Download | Tutorium/Hörsaalübung | |
|---|---|---|---|---|
| 1 | 30. April 2010, 11 Uhr | Übungsblatt 1 | Tutorium 1 | |
| 2 | 7. Mai 2010, 11 Uhr | Übungsblatt 2 | Hörsaalübung 1 | |
| 3 | 14. Mai 2010, 11 Uhr | Übungsblatt 3 | Tutorium 2 | |
| 4 | 21. Mai 2010, 11 Uhr | Übungsblatt 4 | Hörsaalübung 2 | |
| 5 | 28. Mai 2010, 11 Uhr | Übungsblatt 5 | Tutorium 3 | |
| 6 | 4. Juni 2010, 11 Uhr | Übungsblatt 6 | Hörsaalübung 3 | |
| 7 | 11. Juni 2010, 11 Uhr | Übungsblatt 7 | Tutorium 4 | |
| "Fleißige Biene" | tm_biene.pl | - | ||
| 8 | 18. Juni 2010, 11 Uhr | Übungsblatt 8 | Hörsaalübung 4 | |
| 9 | 25. Juni 2010, 11 Uhr | Übungsblatt 9 | Tutorium 5 | |
| 10 | 2. Juli 2010, 11 Uhr | Übungsblatt 10 | Hörsaalübung 5 | |
| 11 | 9. Juli 2010, 11 Uhr | Übungsblatt 11 | Tutorium 6 | |
| 12 | 16. Juli 2010, 11 Uhr | Übungsblatt 12 | Hörsaalübung 6 | |
| 13 | - | Übungsblatt 13 | - |
TI Tools
-
Die folgenden PROLOG-Programme bieten Ihnen eine Hilfestellung bei der Lösung einiger Übungsaufgaben. Sie sind bewusst einfach gehalten und zeigen die Eleganz der Programmiersprache PROLOG. Für das Ausführen der Programme benötigen Sie ein PROLOG-System. Wir empfehlen SWI-Prolog, das für Linux, MacOS X und MS-Windows verfügbar ist.
-
Der Turingmaschinen-Simulator leanTM: leantm.pl
-
Das Programm zum Auswerten von primitiv-rekursiven Funktionen MuRek: murek.pl
-
Das Programm zum Auswerten von Lambda-Termen Lambda: lambda.pl (Neu! Version 1.1)
-
Nach dem Starten von SWI-Prolog (swipl unter Linux) können Sie Programme laden und ausführen. Kommentare in PROLOG beginnen mit dem %-Zeichen. Zum Beispiel:
?- [file]. % lädt das Programm file.pl
?- ['file']. % lädt das Programm file, falls file kein PROLOG-Atom ist
?- tm([],q_0,[1,0,1]). % startet eine Abfrage bzw. ein Programm
% (hier: den TM-Simulator, siehe oben)
?- make. % lädt geladene Programme nach, falls sie sich geändert haben
?- halt. % beendet das PROLOG-System
Durch Drücken von Ctrl-C wird das gerade ausgeführte Programm gestoppt.