Grundlagen der Programmiersprachen SS 2016 - Folie 807
Ziele:
Das Interpretationsmodell am Lösungsbaum verstehen
in der Vorlesung:
- Struktur des Lösungsbaums (Folie 808),
- schrittweise Erstellung des Lösungsbaums,
- Bedeutung der Suchreihenfolge für die Terminierung
Verständnisfragen:
- Welche zwei Freiheitsgrade gibt es bei der Suche im Lösungsbaum? Wie legt sie der Standardinterpretierer fest?
- Welche Eigenschaften hat ein Lösungsbaum, wenn die Suche in Standardreihenfolge nicht terminiert, obwohl eine Lösung existiert?
- Geben Sie dazu die Struktur eines Programms in der Notation wie auf der Folie an.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 22.05.2016