Algorithmus


• Diskretheit -> Discreteness. Das heißt, ein Algorithmus besteht aus einer endlichen Folge von Schritten. • Determiniertheit —* Determinacy. Unter gleichen Startbedingungen erzeugt er stets dasselbe Endergebnis.

• Eindeutigkeit -> Clearness. Das heißt, die Reihenfolge der Schritte ist eindeutig festgelegt.

• Endlichkeit -> Finitiness. Das heißt, er endet nach endlich vielen Schritten.


Mengentheoretisch betrachtet ist ein Algorithmus eindeutig bestimmt durch eine Menge von Größen [Eingangs-, Zwischen- und Ausgangsgrößen], eine Menge von Elementaroperationen sowie durch eine Vorschrift, die angibt, in welcher Reihenfolge welche Operationen wann auszuführen sind. Aus funktionaler Sicht überführt er eine Menge von Eingangsgrößen [Eingabemenge] in eine Menge von Ausgangsgrößen [Ausgabemenge]. Seine Darstellung kann textuell in einer natürlichen oder künstlichen formalen Sprache oder mittels grafischer Darstellungen erfolgen.

Zum Glossar