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

Билет №5
Введение в теорию алгоритмов
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 Функция называется эффективно вычислимой,
а) если существует алгоритм приведения её к рекурсивному виду
б) если не существует алгоритм, позволяющий вычислить ее значения.
в) только когда её значения находятся в диа

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 имеют правила вида: A2->2, где 12V * , 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 имеют правила вида: A2->2, где 12V * , 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 имеют правила вида: A2->2, где &#615