Алгоритмы и алгоритмические языки. Экзамен.

Билет No5
Введение в теорию алгоритмов
1.1 Что из перечисленного НЕ является свойством алгоритма:
а) Дискретность б) Детерминированность в) Многозначность г) Понятность д) Массовость
1.4 Разветвляющийся алгоритм – это:
а) это такой алгоритм, в котором достижение конечного результата программы действий однозначно не предопределено, так же как не обозначена вся последовательность действий, не выявлены все действия исполнителя.
б) набор команд (указаний), выполняемых последовательно во времени друг за другом.
в) алгоритм, содержащий хотя бы одно условие, в результате проверки которого ЭВМ обеспечивает переход на один из двух возможных шагов.
г) алгоритм, который дает программу решения задачи несколькими путями или способами, приводящими к вероятному достижению результата.
д) алгоритм, предусматривающий многократное повторение одного и того же действия (одних и тех же операций) над новыми исходными данными.
е) алгоритм, ранее разработанный и целиком используемый при алгоритмизации конкретной задачи.
1.5 Циклический алгоритм – это:
а) это такой алгоритм, в котором достижение конечного результата программы действий однозначно не предопределено, так же как не обозначена вся последовательность действий, не выявлены все действия исполнителя.
б) набор команд (указаний), выполняемых последовательно во времени друг за другом.
в) алгоритм, содержащий хотя бы одно условие, в результате проверки которого ЭВМ обеспечивает переход на один из двух возможных шагов.
г) алгоритм, который дает программу решения задачи несколькими путями или способами, приводящими к вероятному достижению результата.
д) алгоритм, предусматривающий многократное повторение одного и того же действия (одних и тех же операций) над новыми исходными данными.
е) алгоритм, ранее разработанный и целиком используемый при алгоритмизации конкретной задачи.
1.7 Вероятностный (стохастический) алгоритм – это:
а) это такой алгоритм, в котором достижение конечного результата программы действий однозначно не предопределено, так же как не обозначена вся последовательность действий, не выявлены все действия исполнителя.
б) набор команд (указаний), выполняемых последовательно во времени друг за другом.
в) алгоритм, содержащий хотя бы одно условие, в результате проверки которого ЭВМ обеспечивает переход на один из двух возможных шагов.
г) алгоритм, который дает программу решения задачи несколькими путями или способами, приводящими к вероятному достижению результата.
д) алгоритм, предусматривающий многократное повторение одного и того же действия (одних и тех же операций) над новыми исходными данными.
е) алгоритм, ранее разработанный и целиком используемый при алгоритмизации конкретной задачи.
1.8 К какому из способов задания алгоритмов относят задание с помощью блок-схем
а) графический б) словесный в) формульно-словесный г) программный
1.9 Множество М называется разрешимым
а) если существует алгоритм, позволяющий перечислить все элементы этого множества (возможно с повторениями).
б) тогда и только тогда, когда оно само и его дополнение эффективно перечислимы.
в) если для него существует алгоритм, решающий проблему вхождения слова x в М.
1.10 Множество М называется эффективно перечислимым, если
а) если существует алгоритм, позволяющий перечислить все элементы этого множества (возможно с повторениями).
б) тогда и только тогда, когда оно само и его дополнение эффективно перечислимы.
в) если для него существует алгоритм, решающий проблему вхождения слова x в М.
1.11 Если множества М и L эффективно перечислимы, то
а) эффективно перечислимы множества M  L и M  L.
б) эффективно перечислимы множества M  L и M  L.
в) разрешимы множества M  L и M  L.
г) разрешимы множества M  L и M  L.
Основы классической теории алгоритмов
2.1 Функция называется эффективно вычислимой,
а) если существует алгоритм приведения её к рекурсивному виду
б) если не существует алгоритм, позволяющий вычислить ее значения.
в) только когда её значения находятся в диапазоне [0;+]
г) если существует алгоритм, позволяющий вычислить ее значения.
2.3 Согласно тезису Чёрча-Клини:
а) каждая интуитивно вычислимая функция является частично рекурсивной.
б) каждая рекурсивная функция является вычислимой.
в) каждая интуитивно вычислимая функция является частично рекурсивной.
г) каждая интуитивно вычислимая функция является общерекурсивной.
2.5 В подходах к определению понятия алгоритма можно выделить ... основных направления:
а) 3 б) 5 в) 2 г) 4
2.8 Существует ли машина Тьюринга T0, решающая проблему остановки для произвольной машины Тьюринга T: а) нет б) да.
2.9 Остановка МТ происходит, когда
а) выполнена последняя подстановка б) в состоянии P0 машина остается на месте в) не изменяется символ внутреннего алфавита г) не изменяется символ внешнего алфавита, состояние МТ остается неизменным, сдвиг – нулевой.
2.10 Команда машины Тьюринга состоит из
а) символа внешнего алфавита, символа внутреннего алфавита, сдвига
б) подстроки P, символа→, строки Q
в) номера состояния ленты МТ, символа алфавита и сдвига
г) номера команды, знака команды, номера следующей команды
2.11 . Фрагмент программы машины Поста 1.→2 2. ?(1, 3) определяет :
а) Движение влево до первой метки б) Движение вправо до первой метки в) Движение влево до первой пустой ячейки г) Нахождение метки и её удаление.
2.13 Нормальный алгоритм Маркова стоит из: а) множества состояний б) команды движения каретки в) системы подстановок г) ленты д) алфавита

Основы алгоритмической теории формальных языков
3.1 Операция объединения или сложения двух цепочек символов, это
а) Конкатенация б) Обращение в) Итерация г) Ассоциация
3.3 При графическом описании грамматики нетерминальный символ (или цепочка символов) обозначается
а) прямоугольником, в который вписано обозначение символа
б) овалом, кругом или прямоугольником с закругленными краями, внутрь которого вписана цепочка
в) жирной точкой или закрашенным кружком
3.4 Метасимвол { } означает, что последовательность символов может встречаться в данном месте грамматики
а) ровно один раз б) ровно один раз или ни разу в) сколь угодно раз или ни разу
3.7 Существует ... типа грамматик Хомскому
а)4 б)5 в)2 г)3
3.9 Тип 1: контекстно-зависимые (КЗ) и неукорачивающие грамматики
а) в него подпадают все без исключения формальные грамматики
б) не существует
в) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A2->2, где 12V * , A VN, V + ; грамматики G(VT,VN,P,S), V = VNVT имеют правила вида ->, где , V + , ||>=||
г) к типу относятся два эквивалентных класса грамматик: леволинейные и праволинейные.
д) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A->, где A VN, V + .
3.10 Тип 2: контекстно-свободные (КС) грамматики
а) в него подпадают все без исключения формальные грамматики
б) не существует
в) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A2->2, где 12V * , A VN, V + ; грамматики G(VT,VN,P,S), V = VNVT имеют правила вида ->, где , V + , ||>=||
г) к типу относятся два эквивалентных класса грамматик: леволинейные и праволинейные.
д) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A->, где A VN, V + .
3.12 Тип 4: дискретные грамматики
а) в него подпадают все без исключения формальные грамматики
б) не существует
в) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A2->2, где 12V * , A VN, V + ; грамматики G(VT,VN,P,S), V = VNVT имеют правила вида ->, где , V + , ||>=||
г) к типу относятся два эквивалентных класса грамматик: леволинейные и праволинейные.
д) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A->, где A VN, V + .
3.13 Набор правил, определяющий допустимые конструкции языка называется
а) Синтаксисом языка б) Семантикой языка в) Лексикой языка г) Алфавитом языка
3.14 Язык можно задать:
а) Перечислением всех допустимых цепочек языка.
б) Определением семантики всех допустимых цепочек
в) Определением метода распознавания цепочек языка
г) Указанием способа порождения цепочек языка (заданием грамматики языка)
д) Определением множества допустимых операций над цепочками
Основы теории сложности
4.1 O(1)константная сложность:
а) Большинство операций в программе выполняются только раз или только несколько раз. Время выполнения алгоритма не зависит от размера входных данных.
б) Алгоритмы, в которых элементы входных данных обрабатываются во вложенных циклах: двойные циклы - квадратичная сложность О(N2); циклы глубины 3 - кубическая сложность О(N3)
в) Алгоритмы, в которых каждый элемент входных данных требуется обработать лишь линейное число раз. Время работы программы линейно зависит от размера входных данных.
г) Алгоритмы, в которых большая задача делится на несколько небольших подзадач, они решаются по отдельности, но для получения общего решения нужно соединить решения отдельных задач (например, в алгоритме построения кода Хаффмана).
д) Алгоритмы, в которых большая задача делится на несколько небольших подзадач, они решаются по отдельности (например, в алгоритме построения кода Шеннона-Фано).
е) Такие алгоритмы чаще всего возникают в результате подхода, именуемого метод грубой силы.
4.2 O(N) линейная сложность:
а) Большинство операций в программе выполняются только раз или только несколько раз. Время выполнения алгоритма не зависит от размера входных данных.
б) Алгоритмы, в которых элементы входных данных обрабатываются во вложенных циклах: двойные циклы - квадратичная сложность О(N2); циклы глубины 3 - кубическая сложность О(N3)
в) Алгоритмы, в которых каждый элемент входных данных требуется обработать лишь линейное число раз. Время работы программы линейно зависит от размера входных данных.
г) Алгоритмы, в которых большая задача делится на несколько небольших подзадач, они решаются по отдельности, но для получения общего решения нужно соединить решения отдельных задач (например, в алгоритме построения кода Хаффмана).
д) Алгоритмы, в которых большая задача делится на несколько небольших подзадач, они решаются по отдельности (например, в алгоритме построения кода Шеннона-Фано).
е) Такие алгоритмы чаще всего возникают в результате подхода, именуемого метод грубой силы.
4.4 O(Log(N)) логарифмическая сложность:
а) Большинство операций в программе выполняются только раз или только несколько раз. Время выполнения алгоритма не зависит от размера входных данных.
б) Алгоритмы, в которых элементы входных данных обрабатываются во вложенных циклах: двойные циклы - квадратичная сложность О(N2); циклы глубины 3 - кубическая сложность О(N3)
в) Алгоритмы, в которых каждый элемент входных данных требуется обработать лишь линейное число раз. Время работы программы линейно зависит от размера входных данных.
г) Алгоритмы, в которых большая задача делится на несколько небольших подзадач, они решаются по отдельности, но для получения общего решения нужно соединить решения отдельных задач (например, в алгоритме построения кода Хаффмана).
д) Алгоритмы, в которых большая задача делится на несколько небольших подзадач, они решаются по отдельности (например, в алгоритме построения кода Шеннона-Фано).
е) Такие алгоритмы чаще всего возникают в результате подхода, именуемого метод грубой силы.
4.5 O(N * Log(N)) логарифмическая сложность n-log-n :
а) Большинство операций в программе выполняются только раз или только несколько раз. Время выполнения алгоритма не зависит от размера входных данных.
б) Алгоритмы, в которых элементы входных данных обрабатываются во вложенных циклах: двойные циклы - квадратичная сложность О(N2); циклы глубины 3 - кубическая сложность О(N3)
в) Алгоритмы, в которых каждый элемент входных данных требуется обработать лишь линейное число раз. Время работы программы линейно зависит от размера входных данных.
г) Алгоритмы, в которых большая задача делится на несколько небольших подзадач, они решаются по отдельности, но для получения общего решения нужно соединить решения отдельных задач (например, в алгоритме построения кода Хаффмана).
д) Алгоритмы, в которых большая задача делится на несколько небольших подзадач, они решаются по отдельности (например, в алгоритме построения кода Шеннона-Фано).
е) Такие алгоритмы чаще всего возникают в результате подхода, именуемого метод грубой силы.
4.8 Если алгоритм имеет экспоненциальную сложность то
а) при увеличении N можем не получить решение задачи физически, т.к. это займёт очень много времени.
б) имеет место значительное преимущество при улучшении технических характеристик компьютера.
в) улучшение технических характеристик практически незаметно.