Algorithmus
generelles, schrittweise vorgehendes Rechenverfahren, das nach schematischen Regeln vollzogen wird. Die das Rechenverfahren leitende Anweisung muss in allen Einzelheiten genau und von endlicher Länge sein. Sie muss so abgefasst sein, dass jedes Mitglied der Sprachgemeinschaft, in deren Sprache die Anweisung formuliert ist, nach ihr handeln kann. Gefordert ist, dass die Folge der Schritte eindeutig erfolgen kann. Der Kalkül stellt eine Modifikation des A. dar, der statt der eindeutigen Festlegung der Schrittabfolge endlich viele Wahlmöglichkeiten bei jedem Schritt bietet. A.en kommen in Verfahren der Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit zur Anwendung. Dabei soll nach endlich vielen Schritten das Verfahren abbrechen und zu einem gültigen Ergebnis bzw. einer korrekten Antwort führen. Statt des Abbruchs ist auch die unbegrenzte Fortsetzbarkeit i.S. einer approximativen Berechnung möglich. Die Übertragbarkeit des A. auf Rechenautomaten hat zu einer Algorithmentheorie geführt.
PP
LIT:
- H. Hermes: Aufzhlbarkeit, Berechenbarkeit, Entscheidbarkeit. New York/Heidelberg/Berlin 21971.