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

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

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

Номер 1

В чем состоит основное назначение синтаксиса?

Ответ:

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

(2) формализация значения конструкций языка

(3) формализация абстрактной машины для реализации языка

Номер 2

Какой из объектов не имеет обозначения в формах Бэкуса-Наура?

Ответ:

(1) определяемая конструкция

(2) альтернативные конструкции

(3) цитирование

Номер 3

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

Ответ:

(1) выражение, описание, служебное слово, комментарий

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

(3) идентификатор, константа, функция, переменная

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

Номер 1

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

Ответ:

(1) лексический, синтаксический, семантический анализ

(2) синтаксический, лексический, семантический анализ

(3) семантический, лексический, синтаксический анализ

Номер 2

Что понимается под синтаксисом?

Ответ:

(1) совокупность элементов языка

(2) описание формы языка

(3) модель реализации языка

Номер 3

Какие ключевые слова используются для описания в языке SML?

Ответ:

(1) val, fun, let

(2) val, if, local

(3) val, fun, local

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

Номер 1

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

Ответ:

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

(2) ламбда-исчисление

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

Номер 2

Какие объекты может содержать выражение языка SML?

Ответ:

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

(2) функция, идентификатор, литерал

(3) условие, литерал, выражение

Номер 3

На какие категории подразделяются типы SML?

Ответ:

(1) структурированные и неструктурированные

(2) литералы и функции

(3) переменные и константы

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

Номер 1

Какой вид имеет правая часть БНФ для комбинаторного терма?

Ответ:

(1) K |<переменная>|(<терм><терм>)

(2) K|S|<переменная>|(<терм><терм>)

(3) K|S|<переменная>|(Λ<терм>.<терм>)

Номер 2

Какой вид имеет правая часть БНФ для типов SML-выражений?

Ответ:

(1) int|bool |<тип>*…<тип>|<тип> -> <тип>

(2) int|bool |<тип> -> <тип>

(3) int|bool |<тип>*…<тип>

Номер 3

Что понимается под литералом в языке программирования?

Ответ:

(1) объект, семантика которого полностью определяется синтаксисом

(2) объект, синтаксис которого полностью определяется семантикой

(3) объект, семантика которого не связана с синтаксисом

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

Номер 1

Какой вид имеет правая часть БНФ для аппликации SML-выражений?

Ответ:

(1) <выражение> . <выражение>

(2) <выражение> = <выражение>

(3) <выражение> <выражение>

Номер 2

Необходимо ли наличие выражения после else в условном выражении if…then…else…?

Ответ:

(1) необходимо

(2) не обязательно

(3) избыточно

Номер 3

Для чего используются кортежи в языке SML?

Ответ:

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

(2) для реализации баз данных

(3) для реализации списков

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