игра брюс 2048
Главная / Программирование / Введение в теорию программирования. Функциональный подход / Тест 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) только для конечных и стандартных 




Главная / Программирование / Введение в теорию программирования. Функциональный подход / Тест 12