Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Ausdrücke
2.7. Imperative Algorithmen
Um Werte, die Variablen als Zwischenergebnisse zugewiesen wurden, später wiederverwenden
zu können, muß man Werte aufrufen bzw. auslesen können.
Definition 2.6 Ausdrücke entsprechen im wesentlichen den Termen einer applikativen
Sprache, jedoch stehen an der Stelle von Unbekannten Variablen.
Die Auswertung von Termen ist zustandsabhängig, an der Stelle der Variablen
wird ihr Wert im gegebenen Zustand gesetzt.
Beispiel 2.24 gegebener Term
Wert im Zustand ist ¡
Der so bestimmte Wert eines Ausdrucks Ø Ò wird mit Ø Ò
bezeichnet.
Beispiel 2.25 Wert eines Terms:
£ £
Man kann so auch Wertzuweisungen verwenden, auf deren rechter Seite ein Ausdruck
mit Variablen steht:
Ø Ò
Der transformierte Zustand ist
Ø Ò ℄℄ Ø Ò
Beispiel 2.26 (Anweisungen)
Wir zeigen die Transformationen für zwei elementare Anweisungen « und « .
« ¡ Transformation in « ℄℄
« ¡ Transformation in « ℄
Bei der letzten Anweisung handelt es sich also nicht um eine rekursive Gleichung!
Wertzuweisungen bilden die einzigen elementaren Anweisungen; aus ihnen werden
komplexe Anweisungen zusammengesetzt, die Algorithmen definieren.
43