алгоритм всегда приводит к результату через конечное, возможно, очень большое, число шагов

- алгоритм всегда приводит к результату через конечное, возможно, очень большое, число шагов.

Возможно ты это имел(а) ввиду)))