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

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

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

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

4. Дискретность алгоритма означает последовательность элементарных действий, которые не представляют сложности в выполнении.

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

6. Корректность алгоритма заключается в том, что алгоритм должен всегда приводить к правильному результату. Иначе алгоритм считается некорректным.