Der Algorithmus erzielt die Lösung des zuvor beschriebenen Problems – d.h. er liefert zu der spezifizierten Aufgabe genau das geforderte Ergebnis.

Das Problem und seine Rahmenbedingungen sind vollständig spezifiziert. Alle Schritte des Algorithmus sind beschrieben und keine Aktion ist vergessen. Eine eindeutige Reihenfolge wurde festgelegt.

Der Computer kann die einzelnen Schritte ohne Interpretationsspielraum ausführen. Jeder Befehl ist eine unmissverständliche und unzweideutige Anweisung an den Computer, was zu tun ist. Wenn Sie an ein Computerspiel denken, ist z.B. der Befehl „gehe nach rechts“ nicht unbedingt präzise. Exakter wären zwei aufeinander folgende Befehle: 1. „drehe dich um 90 Grad nach rechts“ und 2. „mache einen Schritt nach vorne“. In diesem Zusammenhang wird auch von der Determiniertheit eines Algorithmus gesprochen. Das bedeutet, dass unter den gleichen Bedingungen und Eingabedaten die gleichen Ausgabedaten erstellt werden.

Ein Algorithmus hat eine bestimmte Länge. Das bedeutet, wenn ein Algorithmus aufgeschrieben wird, besteht er aus einer endlichen Menge an Zeichen. Irgendwann ist der Algorithmus fertig geschrieben – er kann beliebig lang, aber eben nicht unendlich lang werden.

Auch die Dauer der Ausführung eines Algorithmus kann begrenzt sein. In den meisten Fällen ist mit Erreichen des Ziels der Algorithmus beendet. Nach einer bestimmten Zahl von Schritten wird der Algorithmus nach dem letzten Schritt angehalten oder abgebrochen. Der Algorithmus ist also terminiert. In manchen Fällen, wie z.B. einer automatischen Ampelschaltung, kann es aber auch sinnvoll sein, den Algorithmus endlos weiterlaufen zu lassen, ihn also nicht zu terminieren.

Bei der Ausführung eines Algorithmus werden die benötigten Ressourcen, wie z.B. Speicherplatz oder Ausführzeit, bestmöglich eingesetzt.