Свойства алгоритмов. 
Средства реализации информационных процессов

Рассмотрим свойства алгоритмов.

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

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

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

Например, человек, не умеющий складывать однозначные числа (не знающий таблицы сложения), не сможет воспользоваться описанным аль-Хорезми порядком сложения многозначных чисел.

3. Точность (определенность, однозначность) алгоритма Важным свойством алгоритма является точность (определенность, однозначность). Каждая команда алгоритма должна однозначно восприниматься исполнителем и предполагать его определенное действие. Выполнив шаг алгоритма, исполнитель должен точно знать, какой шаг выполнять следующим. Примером неточного алгоритма является фраза из рецепта «всыпать 2−3 столовые ложки сахара» или классическое изречение «казнить нельзя помиловать».

4. Результативность и конечность алгоритма Исполнение алгоритма должно приводить к получению результата (свойство результативности) за конечное число шагов (свойство конечности).

5. Массовость алгоритма.

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

Например, правило сложения многозначных чисел не зависит от количества разрядов в слагаемых или их цифрового состава. Оно работает, даже если число представлено не в десятичной системе счисления, а в позиционной системе счисления с любым целочисленным основанием.