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