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