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

• Дискретность (от лат. discretus – разделенный, прерывистый) указывает, что любой алгоритм должен состоять из конкретных действий, следующих в определенном порядке. Образованная структура алгоритма оказывается дискретной: только выполнив одну команду, исполнитель сможет приступить к выполнению следующей.
• Детерминированность (от лат. determinate – определенность, точность) указывает, что любое действие алгоритма должно быть строго и недвусмысленно определено в каждом случае. Многократное применение одного алгоритма к одному и тому же набору исходных данных должно всегда давать один и тот же результат.
• Конечность определяет, что каждое действие в отдельности и алгоритм в целом должны иметь возможность завершения.
• Результативность требует, чтобы в алгоритме не было ошибок, т.е. при точном исполнении всех команд процесс решения задачи должен прекратиться за конечное число шагов и при этом должен быть получен определенный постановкой задачи результат (ответ).
• Массовость. Это свойство показывает, что один и тот же алгоритм можно использовать с разными исходными данными, т.е. применять при решении всего класса задач данного типа, отвечающих общей постановке задачи.
• формальность. Алгоритм не должен допускать неоднозначности толкования действий для исполнителя.