Главная / Программирование /
Введение в теорию программирования. Функциональный подход / Тест 12
Введение в теорию программирования. Функциональный подход - тест 12
Упражнение 1:
Номер 1
В чем состоит основное назначение рекурсии?
Ответ:
 (1) формализация самоссылающихся функций и определений 
 (2) формализация значения функций языка 
 (3) формализация абстрактной машины для реализации языка 
Номер 2
Какие объекты могут определяться рекурсивно?
Ответ:
 (1) множества, функции, типы 
 (2) идентификаторы, функции, типы 
 (3) выражения, функции, типы 
Номер 3
Какая конструкция используется в языке SML для рекурсивного определения типов?
Ответ:
 (1) let
 
 (2) letrec
 
 (3) datatype
 
Упражнение 2:
Номер 1
Каковы требования к рекурсивному определению?
Ответ:
 (1) корректность 
 (2) ссылка на определяемый объект 
 (3) строгость 
Номер 2
Какая задача формализуема рекурсивно?
Ответ:
 (1) вычисление факториала 
 (2) вычисление квадрата величины 
 (3) выбор минимальной из двух величин 
Номер 3
Какой комбинатор используется для формализации рекурсии?
Ответ:
 (1) комбинатор неподвижной точки Y
 
 (2) комбинатор композиции B
 
 (3) комбинатор тождества I
 
Упражнение 3:
Номер 1
Что из перечисленного является формализацией рекурсии?
Ответ:
 (1) теория вычислений Д. Скотта 
 (2) комбинаторная логика Х. Карри 
 (3) абстрактная машина П. Лендина 
Номер 2
Какой из типов можно определить рекурсивно?
Ответ:
 (1) список 
 (2) дерево 
 (3) массив 
Номер 3
Какой из объектов адекватно формализует рекурсию?
Ответ:
 (1) множество 
 (2) тип 
 (3) домен 
Упражнение 4:
Номер 1
В чем состоит суть теоремы о неподвижной точке?
Ответ:
 (1) любая функция, которая может быть представлена в ламбда-исчислении, имеет неподвижную точку 
 (2) любая функция имеет неподвижную точку 
 (3) любой объект языка SML имеет неподвижную точку 
Номер 2
Возможна ли неявная реализация комбинатора неподвижной точки на языке SML?
Ответ:
 (1) нет 
 (2) да 
 (3) в зависимости от версии компилятора 
Номер 3
Какие виды рекурсии существуют?
Ответ:
 (1) прямая, обратная, взаимная 
 (2) прямая, обратная, частичная 
 (3) прямая, взаимная, частичная 
Упражнение 5:
Номер 1
Какие домены имеют неопределенные элементы?
Ответ:
 (1) все 
 (2) ни один 
 (3) только конечные и стандартные 
Номер 2
Для каких доменов рекурсивные определения разрешимы?
Ответ:
 (1) для всех 
 (2) ни для одного 
 (3) только для конечных и стандартных 
Номер 3
Для каких доменов допустимы рекурсивные равенства?
Ответ:
 (1) для всех 
 (2) ни для одного 
 (3) только для конечных и стандартных