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