ТЕСТОВЫЕ ВОПРОСЫ
1 Какие из перечисленных множеств являются счетными?
— множество действительных чисел
+ конечное множество
+ натуральный ряд
2 В случае отображения A на B
+ каждый элемент b из B имеет в A хоть один прообраз
— каждый элемент a из A имеет в B хоть один прообраз
3 Бинарное отношение ρ рефлексивно, если
+ aρb
— из aρb и bρc следует aρc
4 Бинарное отношение ρ транзитивно, если
— из aρb следует bρa
— из aρb и bρc следует aρc
5 Отношение эквивалентности удовлетворяет свойствам
+ рефлексивности
+ транзитивности
— антисимметричнос
6 Отношение частичного порядка удовлетворяет свойствам
+ рефлексивности
+ транзитивности
— симметричности
7 Вполне упорядоченным множеством является
+ натуральный ряд
+ множество целых чисел
— множество действительных чисел
8 Полной структурой является
— натуральный ряд
+ цепь в частично-упорядо
+ множество всех языков в данном алфавите
9 Сигнатурой модели является
— основное множество модели
+ совокупность ее предикатов
— последовательнос
10 Полной универсальной алгеброй на множестве натуральных чисел N является
+ <N, {+}>
+ <N, {×}>
— <N, {+, –, ×}>
11 Универсальная алгебра <N, {×}>
— имеет конечную систему образующих
+ не имеет конечной системы образующих
12 Замыкание Клини означает
— катенацию
+ 0 или более повторений
— 1 или более повторений
14 Количество компонент, определяющих грамматику
— 1
— 2
+ 4
15 Грамматики общего вида эквивалентны
+ машинам Тьюринга
— магазинным автоматам
— конечным автоматам
16 Контекстно-свобо
— машинам Тьюринга
+ магазинным автоматам
— конечным автоматам
17 Высший приоритет в регулярном выражении имеет операция
— конкатенации
— объединения
+ замыкания
18 Аргументами функции переходов для ДКА являются
+ текущее состояние и входной символ
— только текущее состояние
— только входной символ
19 Количество компонент, определяющих ДКА
— 1
— 2
— 4
+ 5
20 Формальное определение функции перехода для ДКА и НКА различается
— количеством аргументов
+ количеством значений функции
21 Построение ε-НКА по регулярному выражению выполняется
+ методом Томпсона
— методом построения подмножеств
22 Построение ДКА по ε-НКА выполняется
— методом Томпсона
+ методом построения подмножеств
23 Внутренний узел дерева разбора может быть отмечен
+ переменной
— терминалом
— пустой цепочкой ε
24 Неоднозначность грамматики происходит от наличия
— нескольких порождений
+ нескольких деревьев разбора
25 Количество компонентов в формальном определении МП-автомата
— 3
— 5
+ 7
26 Количество аргументов в функции перехода для МП-автомата
— 1
— 2
+ 3
— 4
27 Отметить правильные утверждения
+ языки ДМП-автоматов включают в себя все регулярные
— языки ДМП-автоматов включают в себя все контекстно-свобо
28 Императивное программирование основано на
+ описании последовательных изменений состояний вычислителя
— лямбда-исчислени
— логике предикатов
29 Отметить свойства, которыми обладает чистый функциональный язык
+ не имеет переменных
— не имеет арифметических операторов
+ не имеет операторов присваивания
— не имеет циклов
30 Отметить языки, которые являются функциональными
— Java
+ Lisp
— Prolog
+ Scheme
+ Haskell
— Simula
31 Результат выполнения в Лисп выражения (nth 0 ́(c d e))
— 0
+ c
— d
— e
32 Результат выполнения в Лисп выражения (member 7 ‘(1 2 3))
— 7
— 1
— 2
— 3
+ nil
33 Хорновское выражение содержит
— два положительных литерала
+ не более одного положительного литерала
34 Факт в языке Prolog записывается в форме
— pr1 (a, X) :- pr1 (b, X), pr1 (c, X) .
+ pr1 (a, b) .
35 β-редукция в лямбда-исчислени
— применение встроенной функции к константным аргументам
+ применение функции, представленной лямбда-функцией, к аргументу
36 Чему равно (λx.λy.xy 3 5) ?
— 3
— 5
+ 15
