Bedingungen des Algorithmus

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 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.

Weitere interessante Artikel: