Свойство определённости (детерминированности) алгоритма заключается в том, что каждый шаг должен быть строго определён и не допускать различных толкований. 35 Также строго определяется порядок выполнения шагов. 3

В результате каждый шаг определяется состоянием системы однозначно, когда чётко понятно, какая команда станет выполняться на следующем шаге. 5 Как итог — при любом исполнителе для одних и тех же исходных данных при выполнении одной и той же цепочки команд будет выдаваться одинаковый результат. 5

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

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