Zuweisungsregel

P Þ Q[ x ® t ]

{ P } x := t { Q }

Nach der Vereinfachung

Q’[v’ ® v, x’ ® t] = Q[ x ® t]

erhalten wir :

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen