Свойства алгоритмов: принцип конечного количества шагов