Как определяют рекурсивные вычисления в лямбда-исчислении?
(Отметьте один правильный вариант ответа.)
Варианты ответа
с помощью рекуррентных соотношений
с помощью оператора неподвижной точки Y(Верный ответ)
с помощью комбинаторов I, K