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