Свойство дискретности алгоритма означает, что …
за конечное число шагов алгоритм должен либо приводить к решению задачи, либо останавливаться из-за невозможности получить решение
каждая команда алгоритма должна пониматься исполнителем однозначно – не должно быть двоякого толкования команды
каждая команда должна входить в систему команд исполнителя
алгоритм разбивается на ряд отдельных законченных команд (шагов), каждая из которых должна быть выполнена прежде, чем исполнитель перейдет к выполнению следующей