ОПЕРАЦИЯ НАИМЕНЬШЕГО КОРНЯ
— операция, сопоставляющая каждой рекурсивной функции от
переменных
рекурсивную ф-цию
от
переменной. Значение
равно такому наименьшему числу к, что
и для всех
к ф-ция
определена и не равна нулю- Если для некоторых фиксированных значений
такого к не существует, то
считается неопределенной при данных фиксированных значениях.
