Programm als Zustandstransformation

sum

25

2

7

x k

Programm

C =

while not(sum = 55)

do sum := sum + k

alter Zustand s =

neuer Zustand s’ =

[ C ] : State È {^} ® State È {^}

[C](s) = s’

^

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen