База ответов ИНТУИТ

Функциональное программирование

<<- Назад к вопросам

Как определяется семантика рекурсивных функций?

(Отметьте один правильный вариант ответа.)

Варианты ответа
как и любого другого лямбда-выражения
как неподвижная точка некоторой порождающей функции(Верный ответ)
сведением к циклу
Похожие вопросы
Что такое пропозициональная семантика языка программирования?
Что такое денотационная семантика языка программирования?
Что такое операционная семантика языка программирования?
Как определяется функция в λ-исчислении?
При введении списков, как определяется функция отделения первого элемента hd?
Как определяется конструкция letrec?
Как определяется конструкция let?
Как определяется наименьшая неподвижная точка непрерывной функции f в соответствии с теоремой о неподвижной точке?
Как определяется множество значений для типа, описанного как type tree = {nil} + int X treeX tree?
Пусть геометрическое преобразование определяется функцией трансляции координат int*int →​ int*int. Мы хотим определить функцию сдвига translate : int*int, которая возвращался бы замыкание. Как это сделать?