Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Теория алгоритмов. Практикум
.pdf
2) вычисление P никогда не останавливается;
3) нет верного ответа.
69. Поставить в соответствие:
1) функция f называется МНР-вычислимой;
2) вычисление P (a1, a2, …, an) сходится к b;
3) МНР (машина с неограниченными регистрами) с про-
граммой P МНР-вычисляет f;
a) если существует такая МНР, которая МНР-вычисляет f;
b) если P (a1, a2, …, an) ↓ и в заключительной конфигурации
в регистре R1 находится b;
c) если для всех a1, a2, …, an, b имеет место P (a1, a2, …, an) ↓ b.
70. Какую из команд имеет машина с неограниченными ре-
гистрами (МНР):
1) цикла;
2) присваивания;
3) условного перехода;
4) все ответы верные.
71. Какую из команд не имеет машина с неограниченными
регистрами (МНР):
1) прибавления единицы;
2) условного перехода;
3) переадресации;
4) нет верного ответа.
72. Какая команда МНР выполняет замену содержимого Rn
на число rm из Rm:
1) Zn;
2) Sn;
3) J(m,n,q) ;
4) нет верного ответа.
73. Вычисление команды с номером q будет осуществлено
(для команды J (m, n, q)), если:
1) rm = rn; 2) rm rn; 3)нет верного ответа.
71
74. Какая из команд МНР относится к арифметическим ко-
мандам?
1) условного перехода;
2) прибавления единицы;
3) все ответы верные.
75. Что получится в результате выполнения следующей
МНР-программы:
I1 T (1, 3)
I2 S (5)
I3 J (2, 5, 9)
I4 Z (4)
I5 J (1, 4, 2)
I6 S (3)
I7 S (4)
I8 J (1, 1, 5)
I9 T (3, 1)
если в R1 содержится число 6, в R2 – число 3, в R3, R4, R5 – нули:
1) 2; 2) 3; 3) 9; 4) 18.
76. Внешняя память МНР – это:
1) лента;
2) конечное множество команд;
3) конечное множество состояний.
77. Внутренняя память МНР – это:
1) лента;
2) конечное множество команд;
3) конечное множество состояний.
78. Запись Р (а
, а2, а
1
, …) обозначает, что:
3
1) вычисление P останавливается;
2) вычисление P никогда не останавливается;
3) нет верного ответа.
79. Вычисление P (a1, a2, …, an) сходится к b, если:
1) существует такая МНР, которая МНР-вычисляет f;
2) для всех a1, a2, …, an, b имеет место P (a1, a2, …, an) ↓ b;
3) P (a1, a2, …, an) ↓ и в заключительной конфигурации в
регистре R1 находится b.
72
80. Для любой команды Iк и содержимого регистров r1, r2,
1) данные МНР
2) память МНР
3) элементарные
шаги машины
a) последовательность натуральных
чисел, записанная на ленте
b) последовательность шагов машины
c) лента и конечное множество команд
d) какая-то арифметическая команда и
переход к выполнению следующей
команды
1) h2(x) = f(x, x)
2) h1(x1, x2) = f(x2, x1)
3) h1(x1, x
2
, х3) = f(x2, x
3
)
a) рекурсия
b) подстановка
c) отождествление
d) перестановка
e) добавление фиктивных
переменных
r3, … однозначно заданы:
а) следующая к выполнению команда;
’
’
b) последовательность r
, r
1
’
, r
, … , которую нужно запи-
2
3
сать на ленту вместо r1, r2, r3, … . Это –
1) дискретность машины;
2) детерминированность МНР;
3) элементарные шаги машины;
4) нет верного ответа.
81. Что является результатом работы МНР?
1) последовательность ее шагов;
2) заключительная конфигурация после остановки вычис-
ления;
3) какая-то команда и переход к выполнению следующей
команды;
4) нет верного ответа.
82. Поставить в соответствие:
83. Новые функции можно получить перестановкой и ото-
ждествлением переменных или добавлением новых фиктивных
переменных. Поставить в соответствие функции ее название:
73
84. Функция g (x, z) = μy (y + z – x = 0) получена с помощью
1)
)(Φn
a
2) W
)(n
a
3) E
)(n
a
a) область определения
)(Φn
a
= {(x1,…,xn) |
Pa(x1,…,xn) }
b) множество значений функции
)(Φn
a
c) n-местная функция, вычислимая по про-
грамме
)(n
Pa
a
fP
d) одноместная вычислимая функция, пред-
ставленная в перечислении Ф0, Ф1, Ф2, ...
оператора минимизации. Чему равно g (7, 2)?
1) 0;
2) 2;
3) 5;
4) 7;
5) 9.
85. Всякий алгоритм может быть реализован МНР или ин-
туитивно и неформально определенный класс вычислимых частичных функций совпадает с классом b МНР-вычислимых
функций. Это тезис:
1) Райса;
2) Тьюринга;
3) Черча;
4) Тьюринга-Черча.
86. Поставить в соответствие. Для каждого а N и n1:
87. Для любого перечисления множества всюду определен-
ных вычислимых функций:
1) существует общерекурсивная функция, входящая в это
перечисление;
2) существует общерекурсивная функция, не входящая в
это перечисление;
3) не существует общерекурсивной функции.
74
88. Поставить в соответствие.
1) проблема определения общерекурсивности алгоритмов
неразрешима;
2) проблема самоприменимости алгоритмов неразрешима;
3) проблема определения результативности алгоритма не-
разрешима;
a) т.е. проблема «Φx(y) определена» неразрешима;
b) т.е. проблема «Φx всюду определена» неразрешима;
c) т.е. проблема «Φx = g», где g – любая фиксированная вы-
числимая функция, неразрешима;
d) т.е. проблема «x Wx» неразрешима.
89. Выбрать верное объяснение теоремы: проблема «Φx =
g», где g – любая фиксированная вычислимая функция, неразрешима. Не существует общего метода осуществить проверку
того:
1) будет ли программа вычислять нулевую функцию;
2) вычисляет ли программа конкретную функцию;
3) вычисляют ли две программы одну и ту же одноместную
функцию.
90. Выбрать неверное утверждение. Из теоремы Райса сле-
дует, что:
1) по номеру вычислимой функции f ничего нельзя узнать
о свойствах этой функции;
2) по синтаксису программы ничего нельзя узнать о её се-
мантике;
3) не существует общего алгоритма для отладки программ.
75
ЗАКЛЮЧЕНИЕ
В настоящее время уделяется большое внимание вопросам
фундаментализации обучения информатике. В учебных планах
вузов предусмотрено изучение теоретической информатики, как
по направлениям подготовки бакалавров, так и по направлениям
подготовки магистров.
В практикуме представлены материалы для изучения курсов «Теория алгоритмов» и «Теоретические основы информатики и современных информационных технологий».
Для организации самостоятельной работы студентов, обучающихся по направлениям «Педагогическое образование» и
«Информационные системы и технологии», в пособии представлены индивидуальные задания и вопросы к тестам.
Пособие может быть использовано при обучении по программам бакалавриата и магистратуры. При изучении дисциплины «Теория алгоритмов» используется модульно-рейтинговая
система контроля знаний студентов.
76
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Задачи и упражнения по математической логике, дискретным
функциям и теории алгоритмов [Текст]: учебное пособие для
вузов / М.М. Глухов, О.А. Козлитин, В.А. Шапошников,
А.Б. Шишков. – СПб.: Лань, 2008.
2. Игошин, В.И. Математическая логика и теория алгоритмов
[Текст] / В.И. Игошин. – Саратов, 1991.
3. Клини, С.К. Введение в метаматематику [Текст] / С.К. Клини. –
М.: Изд-во иностр. лит., 1957.
4. Крупский, В.Н. Математическая логика и теория алгоритмов
[Текст]: учебное пособие для бакалавров / В.Н. Крупский,
В.Е. Плиско. – М.: Академия, 2013.
5. Колмогоров, А.Н. К определению алгоритма [Текст] / А.Н. Кол-
могоров, В.А. Успенский // Успехи математических наук. – № 4. –
1958. – С. 3–28.
6. Кузнецов, О.П. Дискретная математика для инженера [Текст] /
О.П. Кузнецов, Г.Н. Адельсон-Вельский. – М.: Энергоатомиздат, 1988.
7. Кук, С.А. Сложность процедур вывода теорем [Текст] / С.А. Кук //
Кибернетический сборник. – М.: Мир, 1975. – Вып. 12. – С. 5–15.
8. Мальцев, И.А. Дискретная математика [Текст]: учебное пособие /
И.А. Мальцев. – Изд. 2-е, испр. – СПб.: Лань, 2011.
9. Марков, А.А. Теория алгорифмов [Текст] / А.А. Марков // Тр.
матем. ин-та АН СССР. – Т. 42. – 1954.
10. Марков, А.А. Теория алгорифмов [Текст] / А.А. Марков,
Н.И. Нагорный. – М.: Наука, 1984.
11. Матрос, Д.Ш. Теория алгоритмов [Текст]: учеб. для вузов /
Д.Ш. Матрос, Г.Б. Поднебесова. – М.: Бином, Лаборатория знаний, 2008.
12. Мендельсон, Э. Введение в математическую логику [Текст] /
Э. Мендельсон. – М., 1976.
13. Минский, М. Вычисления и автоматы [Текст] / М. Минский. –
М.: Мир, 1971.
77
14. Теория рекурсивных функций и эффективная вычислимость
[Текст] / Х. Роджерс. – М.: Мир, 1972.
15. Теория алгоритмов. Примерная программа дисциплины [Элек-
тронный ресурс] / В.А. Стеценко // Режим доступа: http://www.
edu.ru/db/portal/spe/progs/030100_pp.04.htm.
16. Трахтенброт, Б.А. Алгоритмы и вычислительные автоматы
[Текст] / Б.А. Трахтенброт. – М.: Советское радио, 1974.
17. Хьюз, Дж. Структурный подход к программированию [Текст] /
Дж. Хьюз, Дж. Мичтом. – М.: Мир, 1980.
78
ПРИЛОЖЕНИЯ
Модуль 1. Машины Тьюринга
Цель – знать основные понятия и уметь разрабатывать
машины Тьюринга
Содержание раздела
План лекций
План лабораторных
работ
План семинарских
занятий
Лекция 1. Основные
определения
1. Определение машины Тьюринга.
2. Конфигурация.
3. Вычислимость по
Тьюрингу.
Лекция 2. Тезис Тьюринга
1. Действия над машинами Тьюринга.
2. Тезис Тьюринга.
Методическое
обеспечение лекций
Презентации лекций
хранятся на портале
университета.
Список литературы
[1, 2, 4, 6, 11, 15]
Машины Тьюринга
(4 часа)
– решение задач на обработку нечисловых
данных
– решение задач на обработку числовых данных (в унарной и десятичной системах счисления);
– создание циклических
Машин Тьюринга.
Эмулятор МТ (2 часа)
Не предусмотрены
учебным планом
Самостоятельная работа
Инвариантная часть
Вариативная часть
Темы, по которым осуществляется самостоятельная работа
студентов
Универсальная машина Тью-
ринга
Проблема остановки и другие
алгоритмически неразрешимые
проблемы
Сдача индивидуальных заданий
досрочно +0,2
Рабочая (модульная) программа
Приложение 1
79
Самостоятельная работа
Инвариантная часть
Вариативная часть
Типы заданий, предлагаемых
студентам
Индивидуальное задание
Форма отчетности
Сдача и защита индивидуально-
го задания в течение 12 учебных
дней со дня выдачи.
Список литературы [1; 2; 4; 6, 11,
15]
Текст заданий, предлагаемых студентам, хранится на портале университета
Паспорт оценочных средств по разделу
Код контролируемой компетенции (или её части) и ее формулировка
Наименование оценочного
средства
Способность использовать естественнонаучные и математические знания для ориентирования
в современном информационном
пространстве (ОК-3)
Тест, ИДЗ
Текущий контроль за выполнением лабораторных работ
Вопросы для контроля
1. Дайте определение машины Тьюринга.
2. Охарактеризуйте каждую составляющую машины Тьюринга.
3. Из чего состоит память машины Тьюринга?
4. Бесконечна ли лента в одну сторону? в обе?
5. Сколько символов можно записать в одну ячейку?
6. Конечно ли множество ячеек, заполненных на ленте в любой мо-
мент времени?
7. Что обозначают следующие символы:
a) ; b) q1; c) qz?
8. Что происходит с машиной Тьюринга, когда она попадает в со-
стояние qz?
9. Дать определение правильно вычислимой функции по Тьюрингу
80
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]