Свойства алгоритма конечность