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

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

Упражнение 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) способы комбинирования доменов

(2) способы описания доменов

(3) способы определения доменов

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

Номер 1

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

Ответ:

(1) аксиоматический метод Хоара

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

(3) метод индуктивных утверждений Р. Флойда

Номер 2

Сколько видов конструкторов доменов в теории вычислений Д. Скотта?

Ответ:

(1) два

(2) три

(3) четыре

Номер 3

Какие синтаксические домены описываю семантику SML?

Ответ:

(1) домены идентификаторов, команд и выражений

(2) домены идентификаторов, команд и функций

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

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