Ein Algorithmus ist eine Folge von Anweisungen zur Lösung einer bestimmten Problemstellung.


Fünf Bedingungen müssen dabei erfüllt werden:

1. Allgemeingültigkeit: Die Anweisungen besitzen Gültigkeit für die Lösung einer ganzen Problemklasse, nicht nur für ein Einzelproblem



2. Ausführbarkeit: Die Anweisungen müssen verständlich formuliert sein für den Befehlsempfänger (Mensch oder Maschine und für diesen ausführbar sein.



3. Eindeutigkeit: An jeder Stelle muss der Ablauf der Anweisungen eindeutig sein



4. Endlichkeit: Die Beschreibung der Anweisungsfolge muss in einem endlichen Text möglich sein.



5. Terminiertheit: Nach endlich vielen Schritten liefert die Anweisungsfolge eine Lösung des gestellten Problems.

Ein für die Maschine verständlich geschriebener Algorithmus ist ein Programm.