Свойства алгоритма

Корректность: для всех исходных данных алгоритм должен всегда давать правильный результат, и ни для каких исходных данных не будет получен неправильный результат.

Дискретность: алгоритм должен состоять из отдельных шагов.

Определённость: при одних и тех же исходных данных алгоритм будет выполняться абсолютно одинаково, и всегда должен быть получен один и тот же результат.

Понятность: алгоритм должен включать только те команды, которые входят в его систему команд.

Результативность и конечность: выполнение алгоритма обязательно должно через конечное время привести к решению поставленной задачи, либо к сообщению о том, что при заданных исходных величинах задачу решить невозможно.

Массовость: алгоритм строится таким образом, что с его помощью можно решать не одну конкретную задачу, а любую задачу из некоторого класса однотипных задач при всех допустимых значениях исходных данных.