Существует 5 свойств алгоритмов.
1) Дискретность алгоритма-поочередное выполнение команд алгоритма за конечное число шагов приводящее к решению задачи.
2) Oпределенность алгоритма - каждая команда алгоритма должна однозначно определять действие исполнителя.
3) Понятность алгоритма - алгоритм, составленный для конкретного исполнителя, должен включать только те команды, которые входят в его систему команд.
4) Результативность (конечность) алгоритма - исполнение алгоритма должно закончиться за конечное число шагов.
5) (Не обязательное свойство) Массовость алгоритма - обеспечивающие решения всего класса задач данного типа.