Все алгоритмы имеют одну особенность, – как правило, дискретный характер процесса, определяемый самим алгоритмом. Каждый алгоритм должен быть разбит на отдельные шаги. Итак, первое свойство алгоритма – это дискретность.
Очевидно, что для каждого алгоритма существует свое допустимое множество исходных данных.
Например, для вычисления величины y1 в выражении y1=x2 значениями аргумента х является множество вещественных чисел,
Для вычисления же арифметического корня из величины у1= 
значениями аргумента х является множество неотрицательных чисел, х ³ 0.
Массовостьалгоритма заключается в том, что он решает не одну индивидуальную задачу для конкретного значения аргумента, а ряд однотипных задач, в которых аргумент может принимать любое значение из допустимого множества исходных данных.
Если применять алгоритм лишь к определенному набору исходных данных, то всякий раз мы будем получать один и тот же результат. Такое свойство алгоритма называется детерминированностью. Вероятностные процессы отличаются от детерминированных тем, что для заданного набора исходных данных один и тот же результат получается с некоторой вероятностью.
Очевидно, что алгоритм решения любой практической задачи должен иметь конечное число шагов. Свойство алгоритма, обеспечивающее получение результата за конечное число шагов, называется результативностью.
