Modellierung WS 2010/11 - Folie 319

Ziele:
Abstrakte Algebra als Spezifikation verstehen
in der Vorlesung:
- Terme umformen
- K3 mit LIFO begründen
- Anschauliche Darstellungen und Implementierungen von Kellerinhalten entsprechen konkreten Algebren
Verständnisfragen:
- Geben sie verschiedene Terme an, die zu top (push (createStack, 1)) und zu push (push (createStack, 1), 2) gleichbedeutend sind.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010