Главная / Программирование /
Введение в алгоритмы / Тест 4
Введение в алгоритмы - тест 4
Упражнение 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) Algol
 
 (2) Miranda
 
 (3) Haskell
 
Упражнение 5:
Номер 1
Основной акцент концепции семантической паутины делается на работе
Ответ:
 (1) с алгоритмами 
 (2) с метаданными 
 (3) с идентификаторами 
Номер 2
В семантической паутине предполагается повсеместное использование
Ответ:
 (1) универсальных идентификаторов ресурсов 
 (2) онтологий описания метаданных 
 (3) языков описания метаданных 
Номер 3
Техническую часть семантической паутины составляет семейство стандартов на языки описания, включающее
Ответ:
 (1) XML
 
 (2) RDF
 
 (3) OWL
 
Упражнение 6:
Номер 1
Формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории, носит название
Ответ:
 (1) форма Бэкуса-Наура 
 (2) комплекс Эйлера 
 (3) формат Кронекера 
Номер 2
Для описания контекстно-свободных формальных грамматик используется
Ответ:
 (1) теорема Диффи-Хеллмана 
 (2) форма Бэкуса-Наура 
 (3) система Цермело 
Номер 3
Форма Бэкуса-Наура используется для описания
Ответ:
 (1) аддитивных маркированных грамматик 
 (2) контекстно-свободных формальных грамматик 
 (3) комплексно-независимых грамматик 
Упражнение 7:
Номер 1
Форма Бэкуса-Наура используется для описания синтаксиса
Ответ:
 (1) языков программирования 
 (2) метаданных 
 (3) контейнеров 
Номер 2
Из приведенных ниже записей выделите элементы описания формы Бэкуса-Наура:
Ответ:
 (1) протоколы 
 (2) идентификаторы 
 (3) модификаторы 
Номер 3
Какие элементы описываются формой Бэкуса-Наура?
Ответ:
 (1) модули 
 (2) данные 
 (3) терминалы 
Упражнение 8:
Номер 1
Регулярные грамматики являются подмножеством
Ответ:
 (1) терминальных 
 (2) контекстно-свободных 
 (3) модификативных 
Номер 2
БНФ-конструкция определяет конечное число
Ответ:
 (1) маркеров 
 (2) идентификаторов 
 (3) нетерминалов 
Номер 3
БНФ-конструкция определяет правила замены символа на последовательность
Ответ:
 (1) терминалов 
 (2) маркеров 
 (3) идентификаторов 
Упражнение 9:
Номер 1
Формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие, носит название
Ответ:
 (1) модульная форма Бэкуса-Наура 
 (2) расширенная форма Бэкуса-Наура 
 (3) когнитивная форма Бэкуса-Наура 
Номер 2
Расширенная форма Бэкуса-Наура используется для описания
Ответ:
 (1) аддитивных маркированных грамматик 
 (2) контекстно-свободных формальных грамматик 
 (3) структурно-независимых грамматик 
Номер 3
Минимальные элементы грамматики, не имеющие собственной грамматической структуры, носят название
Ответ:
 (1) маркированные символы 
 (2) аддитивные символы 
 (3) терминальные символы 
Упражнение 10:
Номер 1
Имена, считающиеся заданными для данного описания грамматики, носят названия
Ответ:
 (1) комплексные идентификаторы 
 (2) предопределённые идентификаторы 
 (3) маркированные идентификаторы 
Номер 2
Элементы грамматики, имеющие собственные имена и структуру, носят название
Ответ:
 (1) нетерминальные символы 
 (2) комплексные символы 
 (3) синтаксические символы 
Номер 3
Последовательность символов в кавычках или апострофах носит название
Ответ:
 (1) строка 
 (2) цепочка 
 (3) маркер 
Упражнение 11:
Номер 1
Пустое множество в конечном алфавите является
Ответ:
 (1) регулярным 
 (2) статическим 
 (3) комплексным 
Номер 2
Множество, состоящее из одной лишь пустой строки в конечном алфавите, является
Ответ:
 (1) контекстным 
 (2) регулярным 
 (3) терминальным 
Номер 3
Математическая абстракция, позволяющая описывать пути изменения состояния объекта в зависимости от его текущего состояния и входных данных, при условии что общее возможное количество состояний конечно, носит название
Ответ:
 (1) конечный автомат 
 (2) маркированный автомат 
 (3) терминальный автомат 
Упражнение 12:
Номер 1
К параметрам конечного автомата следует отнести
Ответ:
 (1) конечное множество состояний автомата 
 (2) множество заключительных состояний автомата 
 (3) допустимый входной алфавит автомата 
Номер 2
Графическое представление множества состояний и функции переходов носит название
Ответ:
 (1) граф переходов 
 (2) диаграмма Эйлера 
 (3) контейнер соответствий 
Номер 3
Граф переходов является
Ответ:
 (1) нагруженным 
 (2) однонаправленным 
 (3) контекстным