Цикличность не всегда является обязательным свойством алгоритма, потому что организация циклов, которые никогда не приводят к остановке выполнения алгоритма, нарушает требование его результативности. 1
Одно из основных свойств алгоритма — результативность (конечность), которая означает, что алгоритм должен приводить к решению задачи за конечное число шагов. 13
При конструировании циклов необходимо, чтобы в условии была переменная, значение которой изменяется в теле цикла и таким образом, чтобы условие в конечном итоге перестало выполняться. 1