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 = VNVT имеют правила вида: A2->2, где 12V * , A VN, V + ; грамматики G(VT,VN,P,S), V = VNVT имеют правила вида ->, где , V + , ||>=||
г) к типу относятся два эквивалентных класса грамматик: леволинейные и праволинейные.
д) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A->, где A VN, V + .
3.10 Тип 2: контекстно-свободные (КС) грамматики
а) в него подпадают все без исключения формальные грамматики
б) не существует
в) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A2->2, где 12V * , A VN, V + ; грамматики G(VT,VN,P,S), V = VNVT имеют правила вида ->, где , V + , ||>=||
г) к типу относятся два эквивалентных класса грамматик: леволинейные и праволинейные.
д) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A->, где A VN, V + .
3.12 Тип 4: дискретные грамматики
а) в него подпадают все без исключения формальные грамматики
б) не существует
в) грамматики G(VT,VN,P,S), V = VNVT имеют правила вида: A2->2, где ɧ