Algorithmen

Ein Algorithmus ist eine detaillierte und explizite Vorschrift zur schrittweisen Lösung eines Problems.

• schrittweise

• detailliert

• explizit

• korrekt

• termienierend

• deterministisch

• determinierend

Durch einen Stackoverflow (Stapelüberfluss)

Ein Programm S ist bezüglich einer Vorbedingung P und einer

Nachbedingung Q partiell korrekt, wenn für jede Eingabe, die

P erfüllt und das Ergebnis auch Q erfüllt, falls das Programm

terminiert. Der Algorithmus Terminiert nicht immer

Ein Programm ist total korrekt, wenn es partiell korrekt ist

und für jede Eingabe, die P erfüllt, immer terminiert.

Das Hoare-Kalkül beschreibt das allgemeine System zum Beweisen der Korrektheit