Алгоритм с конечным числом шагов: что это и как работает