Wir halten fest: Das folgende Diagramm stellt den Prozess des Algorithmendesigns dar.
Was haben wir gelernt?
- Mit Formalisierungungen übersetzen wir sprachlich gegebene Aufgaben in formale Spezifikationen.
- Dabei gibt es einen Interpretationsspielraum.
- Die Formalisierung steht auch im Wechselspiel mit anderen Abschnitten des Algorithmendesigns.