Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Effekt des Beispielprogramms<br />
• Anfangszustand: x hat den Wert 5,<br />
y den Wert 7 und z den Wert 0<br />
• S«z:=x; x:=y; y:=z ¬([xa 5, ya 7, za 0]) =<br />
= (S«y:=z¬ ◦ S«x:=y¬ ◦ S«z:=x¬) ([xa 5, ya 7, za 0])<br />
= S«y:=z¬(S«x:=y¬(S«z:=x¬([xa 5, ya 7, za 0])))<br />
= S«y:=z¬(S«x:=y¬([xa 5, ya 7, za 5]))<br />
= S«y:=z¬([xa 7, ya 7, za 5])<br />
= ([xa 7, ya 5, za 5])<br />
6<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner