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

Алгоритм должен обладать рядом свойств, к которым относятся следующие:

1. Дискретность, уже обсуждавшаяся выше. Алгоритм строится из отдельных независимых команд (предписаний) и, тем самым, образует дискретную прерывистую структуру.

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

3. Детерминированность или определенность исключает неоднозначность команд. На каждом шаге однозначно следует, что нужно выполнять на следующем. Исполнитель алгоритма не принимает каких-либо самостоятельных решений, а только исполняет команды. Это свойство приводит к тому, что при одних и тех же исходных данных алгоритм всегда выдает один и тот же результат.

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

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

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