Erweiterung : Zuweisung

[Erweiterung : Anweisungsliste] ... [Erweiterung : Bedingung]

Eine Zuweisung weist einer Variablen in einem Zustand einen bestimmten Wert zu. Hierfür muß dem Statement der Zustand übergeben werden. Damit wird das Statement zu einer Funktion, deren Ergebnis eine Funktion von einem Zustand in einen Zustand ist. Beide Zustände können, müssen sich aber nicht unterscheiden. Um die Bedeutung der Zuweisung auszudrücken, wird der eben eingeführte Operator & verwandt.

S: Statement -> Environment -> Environment

S[[I ':=' E]](Env) = Env & {I = E[[E]](Env)}

Beispiel

Env = { Autos = 3
ReifenProAuto = 4

S[[GesamtReifen ':=' Autos '*' ReifenProAuto]](Env) =
Env & {GesamtReifen = E[[Autos '*' ReifenProAuto]](Env)} =
Env & {GesamtReifen = E[[Autos]](Env) * E[[ReifenProAuto]](Env)} =
Env & {GesamtReifen = Env(Autos) * Env(ReifenProAuto)} =
Env & {GesamtReifen = 3 * 4} =
Env & {GesamtReifen = 12}

Env = { Autos = 3
ReifenProAuto = 4
GesamtReifen = 12

[Zurück] ... [Nach oben] ... [Weiter]

S: Statement	-> Environment -> Environment
	S[[I ':=' E]](Env) = Env & {I = E[[E]](Env)}