Anweisungen

Arten von Anweisungen

Dabei unterscheiden wir in zwei verschiedene Anweisungsarten. Zum einen die elementaren Anweisungen wie Wertezuweisungen und zum anderen die komplexen Anweisungen.

Semantik einer Anweisung

Funktion, die einen Zustand in einen neuen Zustand überführt. ${\displaystyle [\![\alpha ]\!](z)}$

Allgemein gesagt ist es die Wirkungsweise von ${\displaystyle \alpha }$ auf den Zustand Z

Beispiele Zuweisung als Anweisung

${\displaystyle \alpha _{1}=(X:=2\cdot Y+1)}$

${\displaystyle [\![\alpha _{1}]\!](Z)=Z\langle X\leftarrow 2\cdot Z(Y)+1\rangle }$

${\displaystyle \alpha _{1}=\langle X:=2\cdot X+1\rangle }$

${\displaystyle [\![\alpha _{1}]\!](Z)=Z\langle X\leftarrow 2\cdot Z(X)+1\rangle }$

Komplexe Anweisungen

Bisher haben wir elementare Anweisungen (Wertzuweisungen) als Funktionen auf Zustände verstanden. Komplexe Anweisungen nehmen Konstrukte bzw. Bausteine von imperativen Algorithmen. Diese Bausteine sind

1. Sequenz
2. Auswahl/Selektion
3. Iteration

Die Semantik wird wiederum durch Konstruktion von Funktionen definiert. Iteration ist das Gegenstück zu rekursiven Funktionsaufrufen bei funktionalen Algorithmen

Sequenz

Sequenzen, oder auch Folgen, sind ${\displaystyle \alpha _{1}}$ und ${\displaystyle \alpha _{2}}$ Anweisungen, so ist ${\displaystyle \alpha _{1};\alpha _{2};}$ auch eine Anweisung. Die Zustandstransformation beschreibt die Semantik der Sequenz.

${\displaystyle [\![\alpha _{1};\alpha _{2}]\!](Z)=[\![\alpha _{2}]\!]([\![\alpha _{1}]\!](Z))}$

Die Semantik ist das Schachteln der Funktionsaufrufe und das daraus folgende hintereinander ausführen der beiden Funktionen.

Selektion

Eine Selektion, bzw. eine Auswahl, liegt beispielsweise vor, wenn ${\displaystyle \alpha _{1}}$ und ${\displaystyle \alpha _{2}}$ Anweisungen sind und B ein boolescher Ausdruck ist, dann ist auch

${\displaystyle if~B~then~\alpha _{1}~else~\alpha _{2}}$

eine Anweisung.

Die zugehörige Zustandstransformation ist: ${\displaystyle [\![if~B~then~\alpha _{1}~else~\alpha _{2}]\!](Z)=\left\{{\begin{array}{ll}[\![\alpha _{1}]\!](Z)&\quad falls~Z(B)=true\\\,[\![\alpha _{2}]\!](Z)&\quad falls~Z(B)=false\end{array}}\right.}$

Voraussetzung ist, dass Z(B) definiert ist, sonst ist die Bedeutung der Auswahlanweisung undefiniert.

Iteration

Wiederholung (Iteration, Schleife):

Ist α eine Anweisung und B ein boolescher Ausdruck, so ist:
while B do α
auch eine Anweisung

Zustandstransformation: ${\displaystyle [\![while~B~do~\alpha ]\!](Z)=\left\{{\begin{array}{ll}Z&falls~Z(B)=false\\\,[\![while~B~do~\alpha ]\!]([\![\alpha ]\!](Z))&sonst\end{array}}\right.}$

Ist Z(B) undefiniert, so ist die Bedeutung dieser Anweisung ebenfalls undefiniert.

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 und 3.3.2 zu finden.