Bedingte Gleichungen

spezifiziert.

für Int und Bool:

x £ y Ù y £ z Þ x £ z

x < x + 1

empty(push(x,s)) = false

empty(s) = false Þ

top(pop(push(x,s)) = top(s)

für Stacks

Vorherige Folie Nächste Folie Zurück zur ersten Folie Graphik-Version anzeigen