Читать книгу Algorithmen und Datenstrukturen - Gunter Saake - Страница 91

Das folgende Beispiel verdeutlicht die Berechnung des Wertes eines Terms in einem Zustand Z :

Z(2 · X + 1) = 2 · Z (X) + 1

Wertzuweisungen mit Variablen

Durch diese Festlegung kann man nun auch Wertzuweisungen verwenden, auf deren rechter Seite ein Ausdruck mit Variablen steht:

X := t(X₁, …, X_n)

Der transformierte Zustand ist wie folgt festgelegt:

X := t(X₁, …, X_n)(Z) = Z_{X ← Z(t(X1, …,Xn))}