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

Variablen bilden die Speicherplätze für Werte:

 Eine Variable besteht aus einem Namen (z.B. X) und einem veränderlichen Wert. Jeder Variablen ist ein Typ zugeordnet.

Wertzuweisungen

 Ist t ein Term ohne Unbestimmte und w (t) sein Wert, dann bezeichnet man das Paar X :=t als Wertzuweisung. Ihre Bedeutung ist festgelegt durch:

Nach Ausführung von X :=t gilt: X = w(t).

Vor der Ausführung der ersten Wertzuweisung gilt: X = ⊥ (undefiniert).

Die folgenden Beispiele zeigen einige Wertzuweisungen:

X := 7	F := true
X := (3 − 7) · 9	Q := ¬(true ∨ ¬false) ∨ ¬¬true

Basierend auf Variablen, können wir die gespeicherten Werte in unserem abstrakten Rechner als Zustand des Rechners zusammenfassen.