|
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.
|
