Тесты с ответами

ТЕСТОВЫЕ ВОПРОСЫ

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