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

Zur Verdeutlichung von Anweisungen zeigen wir die Transformationen für zwei elementare Anweisungen α₁ und α₂.

α₁ = (X := 2 · Y + 1) Transformation in α₁(Z) = Z_{X ← 2Z(Y)+1}

α₂ = (X := 2 · X + 1) Transformation in α₂(Z) = Z_{X ← 2Z(X)+1}

Bei der letzten Anweisung handelt es sich nicht um eine rekursive Gleichung für X – eine Zuweisung mit der Variablen X auf der rechten und linken Seite definiert keine Rekursion!

Die eingeführten Wertzuweisungen bilden die einzigen elementaren Anweisungen imperativer Algorithmen. Aus ihnen werden komplexe Anweisungen zusammengesetzt, die dann komplette Algorithmen definieren können.