Главная / Программирование / Введение в теорию программирования. Объектно-ориентированный подход / Тест 5

Введение в теорию программирования. Объектно-ориентированный подход - тест 5

Упражнение 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

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

Ответ:

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

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

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

Главная / Программирование / Введение в теорию программирования. Объектно-ориентированный подход / Тест 5