Einleitung

Zusammenfassung

Im Mittelpunkt der algorithmischen Informatik stehen Verfahren, die zu gegebenen Problemstellungen Lösungen berechnen. Dabei ist es wünschenswert, das Berechnungsverfahren in einer Form darzustellen, die den Bezug zur Problemstellung aufzeigt und deutlich macht, daß die erzielten Lösungen korrekt sein werden. Dazu ist es in einem ersten Schritt unerläßlich, die informelle Problemstellung in eine formale Problemspezifikation zu überführen. Dieser Prozeß, der die Vorstellung einer oder mehrerer Personen durch ein formales Modell beschreibt, ist eine schwierige intellektuelle Aufgabe, die auf absehbare Zeit im wesentlichen nicht automatisierbar sein wird.