Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
матлогика_методичка.doc
Скачиваний:
306
Добавлен:
30.03.2015
Размер:
612.35 Кб
Скачать

5.3. Задания

Постройте машину Тьюринга, которая заданное входное слово P преобразует в выходное слово R. В начальном положении обозревается крайняя левая ячейка на ленте.

Варианты индивидуальных заданий

P

R

P

R

1

2

3

4

5

6

7

8

9

10

110

000

000

001

001

001

100

100

100

100

1100

0001

111

0010

0011

110

1000

1011

1100

1001

11

12

13

14

15

16

17

18

19

20

010

010

010

011

011

011

101

101

101

101

0100

0101

101

1010

1011

010

1010

1011

010

0001

Список литературы

  1. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов: учеб. пособие / И.А. Лавров, Л.Л. Максимова. – М.: Наука, 1984. – 223 с.

  2. Гуц А.К. Математическая логика и теория алгоритмов: учеб. пособие / А.К. Гуц. – Изд-во Либроком, 2009. – 120 с.

  3. Непейвода Н.Н. Прикладная логика: учеб. пособие / Н.Н. Непейвода. – Ижевск: Изд-во Удмурского университета, 1997. – 385 с.

  4. Новиков П.С. Элементы математической логики / П.С. Новиков. – М.: Наука, 1973. – 400 с.

  5. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие / В.И. Игошин. – М.: Издательский центр «Академия», 2005. – 304 с.

  6. Математическая логика и теория алгоритмов: метод. указания / сост. С.А. Ка­за­ков, Н.А. Правоторова. – М.: Изд-во МГАПИ, 2002. – 45 с.

  7. Кузнецов О.П. Дискретная математика для инженера / О.П. Кузнецов. – СПб.: Изд-во «Лань», 2005. – 400 с.

  8. Потапов В.И. Компьютерная арифметика и алгоритмическое моделирование арифметических операций: учеб. пособие / В.И. Потапов, О.П. Шафеева. – Омск: Изд-во ОмГТУ, Гриф УМО. 2005. – 96 с.

  9. Анкудинов Г.И. Математическая логика и теория алгоритмов: учеб. пособие / Г.И. Анкудинов, И.Г. Анкудинов, О.А. Петухов. – СПб.: Изд-во СЗТУ, 2003. – 104 с.

Редактор Л.И. Чигвинцева

Компьютерная верстка О.Г. Белименко

ИД № 06039 от 12.10.2001

Свод. темплан 2009 г.

Подписано в печать 11.09.09. Формат 60х84 1/16. Отпечатано на дупликаторе.

Бумага офсетная. Усл. печ. л. 2,5. Уч.-изд. л. 2,5. Тираж 200 экз. Заказ 601.

Издательство ОмГТУ. Омск, пр. Мира, 11. Т. 23-02-12

Типография ОмГТУ

41