Теоретические сведения:

Функция f(x₁, x₂, …, x_n) называется вычислимой по Тьюрингу, если для нее можно построить машину Тьюринга, которая вычмсляет ее значение, если заданы значения аргумента x₁, x₂, …, x_n.

Каждый аргумент записывается таким количеством палочек, какого его значение.

Между собой аргументы разделяются *.

Результат формируется либо на месте значения аргумента, либо отдельно, причем предварительно его нужно отделить от аргумента *-кой.

После работы машины Тьюринга на ленте должно остаться столько палочек, какого значение функции на данном наборе аргументов. Поэтому если результат формируется отдельно, то вся информация кроме результата должна быть стёрта.

Ход работы:

Составить словесный алгоритм и программу для конструирования Машины Тьюринга для конкретной функции. Сделать проверку работы программы не менее чем на трех примерах.

Задания к работе:

Вариант №1. F(x)=3x+y

Вариант №2. F(x)=2x

Вариант №3. F(x)=2x+y

Вариант №4. F(x)=3x

Вариант №5. F(x): остаток от деления на 2

Вариант №6. F(x)= 2y

Вариант №7. F(x): остаток от деления на 3

Вариант №8. F(x): остаток от деления на 5

Вариант №9. F(x)=x+2y

Вариант №10. F(x)=2x+y

Контрольные вопросы:

1. Опишите состав и схему работы машины Тьюринга.

2. Перечислите этапы конструирования машины Тьюринга.

3. Когда функция вычислима по Тьюрингу?

Рекомендуемая литература: 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.8, 2.3, 2.4, 2.5.

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

1. Основная литература

   1. Turbo Pascal. Практикум. 2-е изд. / С.А. Немнюгин. – СПб.: Питер, 2003 – 230 с.

   2. Turbo Pascal. Программирование на языке высокого уровня: учебное пособие. 2-е изд. / С.А. Немнюгин. – СПб.: Питер, 2004. – 496 с.

   3. Голицына О.Л. Основы алгоритмизации и программирования. – М: Форум, Инфра-М, 2008. – 432 с.

   4. Демидович Е.М. Основы алгоритмизации и программирования. – СПб: БХВ-Петербург, 2008. – 440 с.

   5. Колдаев В.Д. Основы алгоритмизации и программирования: учебное пособие для СПО. – М: Форум, Инфра-М, 2006. – 416 с.

   6. Культин Н., Turbo Pascal в задачах и примерах: учебное пособие. – СПб: БХВ-Петербург, 2006. – 256 с.

   7. Лаптев В.В. С++ Объектно-ориентированное программирование: задачи и упражнения: учебное пособие для вузов. – СПб: Питер, 2007. – 288 с.

   8. Попов В.Б., Turbo Pascal для школьников: учебное пособие. – М: Финансы и статистика, 2003. – 528 с.

2. Дополнительная литература

   1. Павловская Т.А., Щупак Ю.А. С++. Объектно-ориентированное программирование: Практикум. – СПб.: Питер, 2008. – 264 с.

   2. Ишкова Э.А. Начала программирования. Изд. 2-е, перерабю и доп. – М.: ЗАО «Изд. БИНОМ», 2006. – 288 с.

   3. Паскаль. Программирование на языке высокого уровня: Учебник для вузов/ Т.А. Павловская. – СПб.: Питер, 2007 – 325 с.

   4. Марченко А.И., Марченко Л.А. Программирование в среде Turbo Pascal 7.0/Под ред. Тарасенко В.П. – 6-е изд. – К.:ВЕК+, 2006. – 464 с.

   5. Пестриков В.М., Маслобоев А.Н. Turbo Pascal 7.0. Изучаем на примерах. – СПб.: Наука и Техника, 2006 – 168 с.

Методические указания

для лабораторных занятий студентов

специальности 230115 Программирование в компьютерных системах