Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Beispielberechnungen:
2.7. Imperative Algorithmen
Bisher unbewiesen, ob gilt:
Ü if Ü then else fi
Problem: kann man entscheiden ob zwei Algorithemn äquivalent sind, d.h., ob sie
das selbe berechnen?
Beispiel 2.23 Ackermann-Funktion.
Ü Ý if Ü then Ý else
if Ý then Ü
else Ü Ü Ý fi fi
¯ Werte wachsen unglaublich schnell an:
Ackermann-Funktion ist relevant in Komplexitätsbetrachtungen.
2.7. Imperative Algorithmen
¯ Verbreiteteste Art, Algorithmen für Computer zu formulieren
¯ Basiert auf den Konzepten Anweisung und Variablen
¯ Wird durch Programmiersprachen C, PASCAL, FORTRAN, COBOL,... realisiert,
hier nur Darstellung der Grundprinzipien
41