ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

ТЕОРИЯ АЛГОРИТМОВ
ПЕРЕЧЕНЬ КОНТРОЛЬНЫХ ВОПРОСОВ
Вопрос № 1
Наивное определение алгоритма описывает последний как процесс последовательного получения конечных результатов из заданного набора начальных данных. Какое из приводимых ниже свойств не имеет отношения к
наивному определению алгоритма ?
Варианты ответов:
1. Дискретность
2. Несчетность
3. Детерминированность
4. Массовость
Вопрос № 2
Какое из приводимых ниже высказываний не соответствует понятию наивного алгоритма ?
Варианты ответов:
1. Решение о том, как представлять данные, невозможно принимать, не зная, какие действия будут над ними совершаться
2. Выбор алгоритма, зачастую, в значительной степени определяется структурой тех данных, к которым будут применяться действия алгоритма
3. Алгоритм позволяет достигать цели даже в тех случаях, когда требуется выполнить
счетное число шагов
4. Данные предшествуют алгоритму, ибо для выполнения даже простейших операций необходимо иметь хоть какие-то исходные данные
Вопрос № 3
Какое из приводимых ниже высказываний не соответствует понятию наивного алгоритма ?
Варианты ответов:
1. Алгоритм представляет собою процедуру достижения декларируемой цели за конечное
число шагов
2. Алгоритм представляет собою процедуру вычисления значения любого логического выражения
3. Алгоритм представляет собою процесс вычислительного характера, позволяющий по определенным правилам и инструкциям получать из исходных данных конечные результаты
4. Алгоритм представляет собою одну из траекторий в одноименном пространстве, которая
позволяет из точки "Дано" попасть в точку "Требуется", выполнив конечное число шагов
Вопрос № 4
Кто из перечисленных математиков не имеет отношения к формализации понятия алгоритма в 1930-1950 годах ?
Варианты ответов:
1. В.А. Успенский
2. А.Н. Колмогоров
3. А.А. Марков
4. К. Гёдель
Вопрос № 5
Кто из перечисленных математиков не имеет отношения к формализации понятия алгоритма в 1930-1950 годах ?
Варианты ответов:
1. А. Чёрч
2. А. Тьюринг
3. Э. Пост
4. Д. Хопкрофт
Вопрос № 6
Как называется процесс выявления синтаксической структуры заданного кода?
Варианты ответов:
1. Синтаксический разбор
2. Лексический анализ
3. Обработка транслитератором
4. Семантический анализ
Вопрос № 7
Что является результатом работы лексического анализатора ?
Варианты ответов:
1. Исходный код
2. Массив лексем
3. Целевой код
4. Набор символов исходного кода
Вопрос № 8
Что является результатом работы синтаксического анализатора ?
Варианты ответов:
1. Исходный код
2. Целевой код
3. Массив лексем
4. Модель исходного кода, свободная от привязки к синтаксису языка этого кода
Вопрос № 9
К конструктивным объектам относят такой объект, который может быть полностью определен при помощи конечной последовательности символов. Какой из ниже перечисленных объектов не может быть отнесен к конструктивным ?
Варианты ответов:
1. Натуральные числа.
2. Рациональные числа
3. Иррациональные числа
4. Алгоритмы
Вопрос № 10
К конструктивным объектам относят такой объект, который может быть полностью определен при помощи конечной последовательности символов. Какой из приводимых ниже объектов может быть отнесен к конструктивным ?
Варианты ответов:
1. Любое подмножество натурального ряда
2. Алгоритм
3. Функция f(N), где N - множество натуральных чисел
4. Любое подмножество рациональных чисел
Вопрос № 11
Какое количество различных типов грамматик включает в себя иерархия грамматик Хомского ?
Варианты ответов:
1. 6 грамматик
2. 5 грамматик
3. 4 грамматики
4. 3 грамматики
Вопрос № 12
Распознавание цепочек, порожденных грамматиками какого типа, возможно только с помощью машин Тьюринга?
Варианты ответов:
1. Регулярные грамматики
2. Контекстно-свободные грамматики
3. Контекстно-зависимые грамматики
4. Свободные грамматики
Вопрос № 13
Распознавание цепочек, порожденных грамматиками какого типа – единственное, на что способны конечные автоматы?
Варианты ответов:
1. Регулярные грамматики
2. Контекстно-свободные грамматики
3. Контекстно-зависимые грамматики
4. Свободные грамматики
Вопрос № 14
Распознавание цепочек, порожденных грамматиками какого типа, выходит за пределы возможностей линейноограниченных автоматов?
Варианты ответов:
1. Регулярные грамматики
2. Контекстно-свободные грамматики
3. Контекстно-зависимые грамматики
4. Свободные грамматики
Вопрос № 15
Распознавание цепочек, порожденных грамматиками какого типа – предел возможностей автоматов с магазинной
памятью?
Варианты ответов:
1. Регулярные грамматики
2. Контекстно-свободные грамматики
3. Контекстно-зависимые грамматики
4. Свободные грамматики
Вопрос № 16
Цепочки какого типа способны обрабатывать конечные автоматы ?
1. Слева N "0", за которыми, то есть правее, следуют
2. Слева N "0", далее, то есть правее, N "1", далее,
3. Слева N "0", за которыми, то есть правее, следуют
4. Слева N "0", далее, то есть правее, M "1", далее,
N "1" (N > 2)
правее, N "2" (N > 2)
M "1" (N,M > 2)
правее, N "2" (N,M > 2)
Вопрос № 17
Какое из приведённых утверждений не относится к недетерминированным конечным автоматам?
Варианты ответов:
1. Возможны спонтанные переходы, не связанные с обработкой очередного символа
2. Возможно нахождение сразу в нескольких внутренних состояниях
3. Возможно нахождение как в допускающих, так и недопускающих внутренних состояниях
4. Возможно запоминание ранее обработанных символов
Вопрос № 18
Какое из приведённых выражений не является значением регулярного выражения 10*01(1+0)?
Варианты ответов:
1. 100110
2. 10011
3. 1010
4. 100010
Вопрос № 19
Какое из приводимых выражений не может быть порождено грамматикой G: E→E+T|E-T|T
Варианты ответов:
1. 125+25+68+(12-9)
2. (12+15)(16-11)
3. (12+34)+(43-27)-135
T →i|(E)?
4. (12+34)+(43-27+(79+28))-135
Вопрос № 20
Какое из приводимых выражений, записанных в префиксной форме, соответствует выражению a+b/c-f*g, заданному в инфиксной форме?
Варианты ответов:
1. +a/bc-*fg
2. +a-/bc*fg
3. -+a/bc*fg
4. -+a/*bcfg
Вопрос № 21
Какое из приводимых выражений, записанных в постфиксной форме, соответствует выражению a+b/c-f*g, заданному в инфиксной форме?
Варианты ответов:
1. abc+/-fg*
2. abc/+fg*3. a+b-c/f*g
4. abc/+fg-*
Вопрос № 22
Как следует интерпретировать приводимое правило bB->bb ?
Варианты ответов:
1. Пара терминал b и нетерминал B эквивалентна паре bb
2. Пара bB может быть заменена парой bb
3. Пара нетерминал b и терминал B может быть заменена парой bb
4. Пара bB может быть заменена парой нетерминал b и нетерминал b
Вопрос № 23
Какой грамматике соответствует приводимая система правил G: S→0S|1S|є ?
Варианты ответов:
1. Регулярная грамматика
2. Контекстно-свободная грамматика
3. Контекстно-зависимая грамматика
4. Свободная грамматика
Вопрос № 24
Какой нотации соответствует приводимое правило: A1= 0+1+2+4+5+6+7+8+9 ?
Варианты ответов:
1. Нотации Хомского
2. Расширенной нотации Хомского
3. Нотации Бэкуса-Наура
4. Расширенной нотации Бэкуса-Наура
Вопрос № 25
Какой нотации соответствует приводимое правило: <цифра> :: = 0|1|2|3|4|5|6|7|8|9 ?
Варианты ответов:
1. Нотации Хомского
2. Расширенной нотации Хомского
3. Нотации Бэкуса-Наура
4. Расширенной нотации Бэкуса-Наура
Вопрос № 26
Какое из приводимых выражений, записанных в инфиксной форме, соответствует выражению *-ba+cd, заданному
в префиксной форме?
Варианты ответов:
1. (a-b)*(c+d)
2. (b-a)*(c+d)
3. b-a*c+d
4. a*b-c+d
Вопрос № 27
Какое из приводимых выражений, записанных в инфиксной форме, соответствует выражению ba-cd+*, заданному
в постфиксной форме?
Варианты ответов:
1. b-a*c+d
2. (a-b)*(c+d)
3. (b-a)*(c+d)
4. a*b-c+d
Вопрос № 28
Какое из перечисленных высказываний истинно?
Варианты ответов:
1. Машины Тьюринга допускают самое себя в качестве входа.
2. Существуют рекурсивно-перечислимые языки, не допускаемые машинами Тьюринга.
3. Для любой заданной машины Тьюринга возможен ответ на вопрос: допускает ли данная
машина Тьюринга данный вход.
4. Любой рекурсивный язык может быть отнесён к рекурсивно-перечислимым языкам.
Вопрос № 29
Какой из перечисленных вариантов не соответствует общепринятым подходам к определению понятия вычислимой функции?
Варианты ответов:
1. Вычислимая
ний.
2. Вычислимая
3. Вычислимая
4. Вычислимая
функция как машина Тьюринга с ограничением на число внутренних состояфункция как частично-рекурсивная функция С.Клини.
функция как финитный комбинаторный процесс Э.Поста.
функция как нормальный алгорифм А.А.Маркова.
Вопрос № 30
Какой из приведённых операторов не относится к числу операторов, поддерживаемых частично-рекурсивными
функциями ?
Варианты ответов:
1. Оператор суперпозиции.
2. Оператор примитивной рекурсии.
3. Оператор минимизации.
4. Оператор максимизации.
Вопрос № 31
Какой из вариантов задания множества цепочек регулярным выражением над алфавитом {0,1,2}, у которых отсутствует цифра "2", верен?
Варианты ответов:
1. 0(1+0)*
2. 1(0+1)*
3. (1+0)*
4. 1(0*1*)*0*
Вопрос № 32
Какой из вариантов задания множества цепочек регулярным выражением над алфавитом {0,1,2,3}, у которых отсутствуют цифры "2" и "3", верен?
Варианты ответов:
1.
2.
3.
4.
0(1+0)*
1(0+1)*
1(0*1*)*0*
(1+0)*
Вопрос № 33
Задан недетерминированный конечный автомат. Каким регулярным выражением может быть задано множество
допустимых цепочек этого автомата?
|0
|1 |
--|-----|---|
>A|{B,C}|{C}|
*B|
|{B}|
C| {C} |{C}|
Варианты ответов:
1. 01*
2. (0+1)*
3. (0+1)01*
4. 00(0+1) *
Вопрос № 34
Задан недетерминированный конечный автомат. Каким регулярным выражением может быть задано множество
допустимых цепочек этого автомата?
| 0 | 1 | 2 |
---|---|---|---|
*>A|{A}|{A}|{B}|
B|{B}|{B}|{B}|
Варианты ответов:
1. (0+1+2)*
2. (1+0)*
3. (10*1*)*
4. (01*0*)*
Вопрос № 35
Задан недетерминированный конечный автомат. Каким регулярным выражением может быть задано множество
допустимых цепочек этого автомата?
| 0 | 1 | 2 | 3 |
---|---|---|---|---|
*>A|{A}|{A}|{B}|{B}|
B|{B}|{B}|{B}|{B}|
Варианты ответов:
1. (0+1+2)*
2. (0+1+2+3)*
3. (0+1)*
4. (2+3)*
Вопрос № 36
При преобразовании недетерминированного конечного автомата в детерминированный количество его внутренних состояний …
| 0 | 1 |
---|-----|---|
>A|{A,B}|{A}|
B|{C} |{C}|
C|{D} |
|
*D|{D} |{D}|
Варианты ответов:
1. Увеличится
2. Уменьшится
3. Не изменится
4. Зависит от длины входной цепочки
Вопрос № 37
К числу регулярных относят алгебраические выражения, над которыми определены приводимые ниже операции.
Какая из операций является лишней ?
Варианты ответов:
1. Объединение
2. Конкатенация
3. Итерация
4. Пересечение
Вопрос № 38
Какому из перечисленных методов синтаксического разбора соответствует приводимое описание: построение дерева разбора, начинается от корня?
Варианты ответов:
1. Комбинированный
2. Нисходящий
3. Справа налево
4. Восходящий
Вопрос № 39
Какому из перечисленных методов синтаксического разбора соответствует приводимое описание: построение дерева разбора начинается от терминальных листьев и завершается, когда все символы входной цепочки становятся
листьями дерева, корень которого – стартовый нетерминальный символ?
Варианты ответов:
1. Комбинированный
2. Нисходящий
3. Слева направо
4. Восходящий
Вопрос № 40
Какому из перечисленных методов синтаксического разбора соответствует приводимое описание: процесс распознавания разбивается на два этапа, на одном из которых осуществляется нисходящий, а на втором - восходящий
синтаксический разбор.
Варианты ответов:
1. Комбинированный
2. Нисходящий
3. Слева направо
4. Восходящий
Вопрос № 41
Какое из приводимых ниже высказываний о регулярных языках не является истинным ?
Варианты ответов:
1. Накачка цепочек регулярных языков не изменяет их статуса: они остаются регулярными.
2. Накачка возможна не только для языков регулярных.
3. Если накачка невозможна, язык не может быть отнесен к числу регулярных языков.
4. Если накачка невозможна, язык следует отнести к контекстно-свободным языкам.
Вопрос № 42
Какое из приводимых ниже высказываний о регулярных языках является истинным ?
Варианты ответов:
1. Адекватным по возможностям инструментом
служат линейные автоматы.
2. Адекватным по возможностям инструментом
служат автоматы с магазинной памятью.
3. Адекватным по возможностям инструментом
служат конечные автоматы.
4. Адекватным по возможностям инструментом
служат машины Тьюринга.
для распознавания цепочек регулярных языков
для распознавания цепочек регулярных языков
для распознавания цепочек регулярных языков
для распознавания цепочек регулярных языков
Вопрос № 43
Какой из приведённых языков может быть отнесен к числу языков регулярных?
Варианты ответов:
1.
2.
3.
4.
L = {anbncn│n>0}
L = {anbn│n>0}
L = {anbm│n,m>0}
L = {anbncndn│n>0}
Вопрос № 44
Какой из приведённых языков не может быть отнесен к числу языков регулярных?
Варианты ответов:
1.
2.
3.
4.
L = {anbcd│n>0}
L = {cmdan│n,m>0}
L = {anbm│n,m>0}
L = {anbn│n>0}
Вопрос № 45
Какова цель использования при проведении синтаксического анализа просмотров вперёд ?
Варианты ответов:
1. Для идентификации ситуаций, требующих завершения процедуры разбора
2. Для упорядочения процедуры проведения разбора
3. Для идентификации альтернативных правил, начинающихся с одинаковых цепочек символов
4. Для оптимизации процедуры проведения разбора
Вопрос № 46
Какова цель использования при проведении синтаксического анализа возвратов ?
Варианты ответов:
1. Для идентификации ситуаций, требующих завершения процедуры разбора
2. Для упорядочения процедуры проведения разбора
3. Для идентификации альтернативных правил, начинающихся с одинаковых цепочек символов
4. Для оптимизации процедуры проведения разбора
Вопрос № 47
Какое из приведённых утверждений следует квалифицировать как ложное ?
Варианты ответов:
1. Усложнение синтаксиса языка программирования усложняет его грамматику
2. Усложнение грамматики усложняет методы синтаксического разбора
3. Универсальные методы разбора замедляют выполнение синтаксического разбора
4. Универсальные методы разбора ускоряют выполнение синтаксического разбора
Вопрос № 48
Какое из приведённых утверждений следует квалифицировать как ложное ?
Варианты ответов:
1. Выполнение синтаксического разбора требует привлечения грамматик, обеспечивающих
иерархическое определение одних правил через другие
2. Для построения распознавателей синтаксических конструкций мощность конечных автоматов оказывается недостаточной
3. Для выполнение синтаксического разбора требуется привлечение недетерминированных
конечных автоматов
4. Для выполнение синтаксического разбора требуется мощный автомат, поддерживающий построение деревьев разбора сверху вниз и снизу вверх
Вопрос № 49
В качестве распознавателя правильной вложенности круглых скобок нельзя использовать
Варианты ответов:
1. Автомат с магазинной памятью
2. Недетерминированный конечный автомат
3. Линейно-ограниченный автомат
4. Машину Тьюринга
Вопрос № 50
Какое из приведённых высказываний следует квалифицировать как истинное ?
Варианты ответов:
1. Грамматика Хомского порождает
сти конечных автоматов.
2. Грамматика Хомского порождает
сти линейных автоматов.
3. Грамматика Хомского не задаёт
горитмом.
4. Грамматика Хомского порождает
сти машины Тьюринга.
цепочки, для распознавания которых достаточно мощноцепочки, для распознавания которых достаточно мощноалгоритм порождения цепочек, то есть не является алцепочки, для распознавания которых достаточно мощно-
Вопрос № 51
Какое из приведённых высказываний следует квалифицировать как истинное ?
Варианты ответов:
1. В цепочках языка, которыми заканчивается вывод, могут присутствовать как терминальные, так и нетерминальные символы.
2. В цепочках языка, которыми заканчивается вывод, могут присутствовать только нетерминальные символы.
3. В цепочках языка, которыми заканчивается вывод, может присутствовать единственный
нетерминальный символ.
4. В цепочках языка, которыми заканчивается вывод, могут присутствовать только терминальные символы.
Вопрос № 52
Какое из приведённых высказываний не следует квалифицировать как истинное ?
1. Для контекстно-свободной грамматики возможно построение дерева вывода.
2. Дерево вывода может рассматриваться как конструкция, связывающая нетерминалы (классы) с их смысловым наполнением (терминальными цепочками).
3. Для контекстно-зависимой грамматики возможно построение дерева вывода.
4. Корень дерева вывода - всегда нетерминальный символ.
Вопрос № 53
Какое из приведённых высказываний не следует квалифицировать как истинное ?
Варианты ответов:
1. Две различные грамматики могут порождать один и тот же язык.
2. Не существует ограничений принципиального характера на количество грамматик, порождающих заданный язык.
3. Две различные грамматики не могут порождать один и тот же язык.
4. Любой язык может быть порождён множеством различных грамматик.
Вопрос № 54
Являются ли приводимые ниже грамматики эквивалентными, то есть порождающими один и тот же язык?
G1: S->AD A->aA/a D->bC C->cC/c
G2: S->aA A->aA/bC C->cC/c
Варианты ответов:
1. Не являются
2. Являются
3. Эквивалентны, но не полностью
4. Эквивалентны, но не всегда
Вопрос № 55
Является ли приводимая ниже грамматика правильных скобочных выражений грамматикой регулярного языка?
Варианты ответов:
1.
2.
3.
4.
Не являются
Являются
Являются, но не всегда
Являются, но не для всех цепочек
Вопрос № 56
Работа автомата с магазинной памятью (внутренние состояния S,A,B) задаётся списком команд
SAε->aA Aaε->aA Aba->Bε Bba->Bε
Цепочки какого языка способен распознавать данный автомат?
Варианты ответов:
1.
2.
3.
4.
L = {anbn│n>0}
L = {anbnan│n>0}
L = {bnanbn│n>0}
L = {bnan│n>0}
Вопрос № 57
Возможно ли создание машины Тьюринга, распознающей язык диагонализации?
Варианты ответов:
1. Невозможно
2. Возможно
3. Возможно для частных случаев
4. Возможно, но не всегда
Цена правильного ответа: 1 балл
Вопрос № 58
К какому классу языков относится язык диагонализации?
Варианты ответов:
1. Контекстно-зависимые языки
2. Рекурсивные языки
3. Неперечислимые языки
4. Рекурсивно-перечислимые языки
Вопрос № 59
Какое из приведённых высказываний не следует квалифицировать как истинное ?
Варианты ответов:
1. Если язык L является рекурсивным языком, то его дополнение также является рекурсивным языком.
2. Если язык L является рекурсивно-перечислимым языком, но не является языком рекурсивным, его дополнение не является рекурсивно-перечислимым языком.
3. Если язык L не является рекурсивно-перечислимым языком, его дополнение также не является рекурсивно-перечислимым языком.
4. Если язык L не является рекурсивно-перечислимым языком, его дополнение не может
быть рекурсивным языком.
Вопрос № 60
Какое из приведённых высказываний следует квалифицировать как истинное ?
Варианты ответов:
1. Язык, допускаемый машиной Тьюринга конечен.
2. Язык, допускаемый машиной Тьюринга не пуст.
3. Всегда можно определить, в какую категорию иерархии Хомского входит язык машины
Тьюринга.
4. Класс рекурсивно-перечислимых языков не пуст.
Вопрос № 61
Какое из приведённых высказываний не следует квалифицировать как истинное ?
Варианты ответов:
1. Пересечение множеств P(класс задач, решаемых за полиномиальное время) и NP(класс
задач, не решаемых за полиномиальное время) пусто.
2. Пересечение множеств P(класс задач, решаемых за полиномиальное время) и NP(класс
задач, не решаемых за полиномиальное время) не пусто.
3. Вопрос о пустоте или не пустоте пересечения множеств P(класс задач, решаемых за полиномиальное время) и NP(класс задач, не решаемых за полиномиальное время) принципиально не разрешим.
4. Вопрос о пустоте или не пустоте пересечения множеств P(класс задач, решаемых за полиномиальное время) и NP(класс задач, не решаемых за полиномиальное время) открыт.
Вопрос № 62
Какое из приведённых высказываний не следует квалифицировать как истинное ?
Варианты ответов:
1. Задача о коммивояжере является представителем класса NP(класс задач, не решаемых за
полиномиальное время).
2. Задача о Гамильтонове цикле является представителем класса NP(класс задач, не решаемых за полиномиальное время).
3. Задача о рюкзаке является представителем класса NP(класс задач, не решаемых за полиномиальное время).
4. Задача о распознавании языка L = {bnan│n>0} является представителем класса NP(класс
задач, не решаемых за полиномиальное время).