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

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

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

Номер 1

В чем состоит основное назначение абстрактных машин?

Ответ:

(1) формализация вычислительной машины

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

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

Номер 2

Какие языки программирования формализованы абстрактными машинами?

Ответ:

(1) ML и CaML

(2) ML и С#

(3) ML и ProLog

Номер 3

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

Ответ:

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

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

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

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

Номер 1

Каково основное требование к абстрактной машине?

Ответ:

(1) адекватная формализация компьютера

(2) высокая вычислительная эффективность

(3) лаконичность конструкций языка

Номер 2

Какая формализация абстрактных машин отвечает требованию реализма?

Ответ:

(1) машина Тьюринга

(2) машина Поста

(3) машина Лендина

Номер 3

Что означает аббревиатура SECD?

Ответ:

(1) состояние машины: стек, дамп, среда, код

(2) состояние машины: стек, терм, код, дамп

(3) состояние машины: стек, дамп, терм, среда

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

Номер 1

Что из перечисленного является формализацией для абстрактной машины?

Ответ:

(1) теория вычислений Д. Скотта

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

(3) форма Бэкуса-Наура

Номер 2

Какая формализация абстрактных машин является зрелой?

Ответ:

(1) SECD-машина Лендина

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

(3) машина Тьюринга

Номер 3

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

Ответ:

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

(2) тождество, композиция, упорядоченная пара, перестановка

(3) тождество, композиция, упорядоченная пара, проекции

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

Номер 1

На каком этапе трансляции программы используются абстрактные машины?

Ответ:

(1) на этапе создания промежуточного кода

(2) на этапе выполнения программы

(3) на этапе синтаксического анализа

Номер 2

Какая операция называется каррированием?

Ответ:

(1) преобразование из алгебраической формы в аппликативную

(2) преобразование из аппликативной формы в алгебраическую

(3) преобразование из константной формы в аппликативную

Номер 3

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

Ответ:

(1) аппликация и абстракция

(2) аппликация и каррирование

(3) абстракция и каррирование

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

Номер 1

Какая операция категориальной комбинаторной логики эквивалентна цитированию?

Ответ:

(1) первая проекция

(2) каррирование

(3) декаррирование

Номер 2

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

Ответ:

(1) абстракция и каррирование

(2) аппликация и абстракция

(3) аппликация и каррирование

Номер 3

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

Ответ:

(1) формирование упорядоченной пары, каррирование, декаррирование

(2) первая и вторая проекции, каррирование, декаррирование

(3) формирование упорядоченной пары, первая и вторая проекции

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