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

Введение в теорию программирования. Функциональный подход - тест 15

Упражнение 1:

Номер 1

В чем состоит основное назначение кода де Брейна?

Ответ:

(1) ликвидация коллизии переменных

(2) оптимизация кода абстрактной машины

(3) редукция комбинаторного терма

Номер 2

Каковы необходимые требования для построения категориальной комбинаторной логики?

Ответ:

(1) декартово замкнутые категории и формализация семантики языка программирования

(2) декартово замкнутые категории

(3) формализация семантики языка программирования

Номер 3

Какой вариант вызова параметра моделирует машина Лендина?

Ответ:

(1) вызов по имени

(2) вызов по необходимости

(3) вызов по значению

Упражнение 2:

Номер 1

Какова схема трансляции в код КАМ?

Ответ:

(1) программа → ламбда-терм → код де Брейна → терм ККЛ → КАМ-код

(2) программа → ламбда-терм → терм ККЛ → КАМ-код

(3) программа → ламбда-терм → код де Брейна → КАМ-код

Номер 2

Какое условие не относится к характеристическим равенствам КАМ?

Ответ:

(1) связь тождества и композиции

(2) связь операции спаривания и взятия проекций

(3) связь аппликации и абстракции

Номер 3

Что является состоянием КАМ?

Ответ:

(1) тройка вида: стек, дамп, среда

(2) тройка вида: стек, терм, код

(3) тройка вида: стек, дамп, терм

Упражнение 3:

Номер 1

Что из перечисленного является формализацией КАМ?

Ответ:

(1) код де Брейна

(2) комбинаторная логика Х. Карри

(3) категориальная комбинаторная логика

Номер 2

Что называется числом де Брейна?

Ответ:

(1) глубина связывания переменной без единицы

(2) число инструкций в коде де Брейна

(3) число шагов для преобразования терма к коду де Брейна

Номер 3

Что понимается под циклом работы КАМ?

Ответ:

(1) варианты трансляции кода

(2) множество инструкций КАМ

(3) множество изменений состояний

Упражнение 4:

Номер 1

Что представляет собой среда вычислений при кодировании по де Брейну?

Ответ:

(1) множество пар вида (<переменная>,<значение>)

(2) множество пар вида (<переменная>,<терм>)

(3) множество пар вида (<терм>,<значение>)

Номер 2

Что представляет собой код де Брейна?

Ответ:

(1) пару вида (<терм де Брейна>,<среда>)

(2) пару вида (<переменная>,<значение>)

(3) пару вида (<значение>,<среда>)

Упражнение 5:

Номер 1

Что представляет собой "список инструкций" КАМ?

Ответ:

(1) car cdr push swap cons app cur quote

(2) car cdr in out cons app cur quote

(3) car cdr push pop cons app cur quote

Номер 2

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

Ответ:

(1) вершина стека помещается в голову терма

(2) значение терма и вершина стека меняются местами

(3) значение терма помещается на вершину стека

Номер 3

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

Ответ:

(1) вершина стека помещается в голову терма

(2) значение терма и вершина стека меняются местами

(3) значение терма помещается на вершину стека

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