Artikel
Ein Algorithmus ist eine genau definierte Handlungsvorschrift zur Lösung eines Problems.
Die obige Defintion des Algorithmus ist jedoch sehr weit gefasst. Tatsächlich existieren noch einige weitere Voraussetzungen dafür, dass eine Handlungsvorschrift tatsächlich als Algorithmus bezeichnet werden kann. Die weiteren notwendigen Bedingungen sind:
- Finitheit
- Ausführbarkeit
- Dynamische Finitheit
- Terminierung
- Determiniertheit
- Determinismus
Finitheit
Die Handlungsvorschrift muss in einem endlichen Text beschrieben werden können.
Ausführbarkeit
Jeder einzelne Schritt des Verfahrens muss ausführbar sein.
Dynamische Finitheit
Während der gesamten Ausführung darf das Verfahren nur endlich viel Speicherplatz benötigen.
Terminierung
Die Lösung des Verfahrens muss in endlich vielen Schritten erreicht werden.
Determiniertheit
Auch bei wiederholten Ausführen der Handlungsvorschritt bleibt das Ergebnis gleich.
Determinismus
Die nächste Regel, die nach einem Schritt angewendet werden soll, ist zu jedem Zeitpunkt definiert.
