Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

2. Algorithmische Grundkonzepte
2.7.2. Komplexe Anweisungen
1. Folge (Sequenz): Sind «
sung.
Zustandstransformation
und « Anweisungen, so ist « « auch eine Anwei-
« « ℄℄ « ℄ « ℄
2. Auswahl (Selektion): Sind « und « Anweisungen und ein Boolescher Ausdruck,
so ist
if B then « else « fi
eine Anweisung.
Transformation:
if then « else « fi℄
« ℄ falls true
« ℄ falls false
Hier wird vorausgesetzt, daß definiert ist. Ansonsten ist die Bedeutung
der Auswahlanweisung undefiniert.
3. Wiederholung (Iteration): Ist « Anweisung und Boolscher Ausdruck, so ist
while B do « od
eine Anweisung.
Transformation:
while do « od℄
, falls false
while do « od℄ « ℄ , sonst
Ist undefiniert, so ist die Bedeutung dieser Anweisung ebenfalls undefiniert.
Bemerkung 2.3 (Umsetzung in Programmiersprachen)
¯ In realen imperativen Programmiersprachen gibt es fast immer diese Anweisungen,
meistens jedoch viel mehr.
¯ while-Schleifen sind rekursiv definiert, sie brauchen nicht zu terminieren.
¯ Die Verwendung von if-fi ist wegen der klaren Klammerung sauberer.
¯ In Algol68 gibt es auch “nichtdeterministische” Versionen der Sequenz
¯ Jedoch sind bereits Programmiersprachen mit diesen Sprachelementen universell
(siehe weiter unten).
Wir beschränken uns im folgenden auf die Datentypen bool und int.
44