Kurs:Algorithmen und Datenstrukturen/Vorlesung/Zustände

Zustände

Ist $\underset{\_}{X}=X_1,X_2,...$ eine Menge von Variablen (-namen) von denen alle nur Werte aus der Wertemenge W haben können (alle Variablen vom gleichen Typ), dann ist der Zustand Z eine partielle Abbildung.

$Z:\underset{\_}{X}\to W$ (Zuordnung des momentanen Wertes)

• Beispiel in einem gewissen Zustand

$Z(X_1)=42$

$Z(X_2)=17$

$Z(X_3)=23$

• Nach $X_1:=29$ folgt:

$Z(X_1)=29$

$Z(X_2)=17$

$Z(X_3)=23$

Ist $Z:\underset{\_}{X}\to W$ ein Zustand und wählt man eine Variable X und einen Wert w aus dem Wertebereich W, so ist der transformierte Zustand wie folgt definiert:

$Z(X\leftarrow w):\underset{\_}{X}\to Wmit$ 

$Z_{(X\leftarrow W)}(Y)\to \{\begin{array}{cc}w& fallsX=Y\\ Z(Y)& sonst\end{array}$

Literatur

Da die Vorlesungsinhalte auf dem Buch Algorithmen und Datenstrukturen: Eine Einführung mit Java von Gunter Saake und Kai-Uwe Sattler aufbauen, empfiehlt sich dieses Buch um das hier vorgestellte Wissen zu vertiefen. Die auf dieser Seite behandelten Inhalte sind in Kapitel 3.3.1 zu finden.