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

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

Упражнение 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) более трех

Номер 3

Какой из списков содержит лишь многоместные операции КАМ?

Ответ:

(1) if eq cons

(2) if eq add

(3) if eq app

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

Номер 1

Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?

Ответ:

(1) wind

(2) dum

(3) wind и dum

Номер 2

При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?

Ответ:

(1) при вычислении с вызовом по значению

(2) при вычислении с вызовом по имени

(3) при вычислении с вызовом по необходимости

Номер 3

При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?

Ответ:

(1) при вычислении с вызовом по значению

(2) при вычислении с вызовом по имени

(3) при вычислении с вызовом по необходимости

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