Заключение

В данной контролируемой самостоятельной работе я изучал следующие вопросы:

1. Интуитивное понятие алгоритма.

2. Алгоритмические модели и их основные типа

3. Свойства алгоритма

4. Машина Тьюринга

5. Операции и применения машины Тьюринга.

6. Вычислимость по Тьюрингу и разрешимость.

7. Проблема самоприменимости.

8. Нумерация алгоритмов, наборов чисел, слов и машин Тьюринга.

Список использованных источников

1. А.А. Волосевич, Белорусский государственный университет информатики и радиоэлектроники. Эл. Версия, Библиотека БГУИР. 2006. – 103с.

2. [Электронный ресурс] - Режим доступа: http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D0%A2%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%B0. – Дата доступа: 07.04.2013.

3. [Электронный ресурс] - Режим доступа: http://www.gmcit.murmansk.ru/text/information_science/base/algorithm/materials/3-4.htm. – Дата доступа: 07.04.2013.

4. [Электронный ресурс] - Режим доступа: http://polosuhin.narod.ru/Samoprim_1.htm. – Дата доступа: 07.04.2013.

5. [Электронный ресурс] - Режим доступа: http://neudoff.net/info/matematika/intuitivnoe-ponyatie-algoritma-i-ego-utochnenie/. – Дата доступа: 07.04.2013.

6. [Электронный ресурс] - Режим доступа: http://ru.wikipedia.org/wiki/%C0%EB%E3%EE%F0%E8%F2%EC. – Дата доступа: 07.04.2013.

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

1. Какая функция называется арифметической?

2. Какой вид имеет арифметическая функция?

3. Сколько существует массовых проблем?

4. В каком году предложили машину Тьюринга?

5. Кто предложил машину Тьюринга?

6. Какова схема действия вычислимой функции?

7. Из скольких компонентов состоит машина Тьюринга?

8. Какие компоненты входят в машину Тьюринга?

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

10. Какая функция указана в тезисе Тьюринга?

11. Можно ли доказать тезис Тьюринга?

Глоссарий

Интуитивное понятие алгоритма – пусть задано бесконечное множество задач и указано, что понимается под решением каждой из них. Говорят, что существует алгоритм для решения данного бесконечного множества задач, если существует единый способ, позволяющий, для любой задачи этого множества, в конечное число шагов, найти ее решение.

Арифметическая функция – называется таковой, если ее аргументы и значение принадлежат множеству натуральных чисел. Таким образом, арифметические функции – это функции вида f: Nn →N.

Со­че­та­ния ал­го­рит­мов - это на­зва­ние, уста­но­вив­ше­еся за ря­дом кон­крет­ных спо­со­бов кон­стру­иро­ва­ния но­вых ал­го­рит­мов из не­ско­ль­ких за­дан­ных.

Машина Тьюринга (МТ) — абстрактный исполнитель (абстрактная вычислительная машина).

Детерминированная машина Тьюринга – машина, если каждой комбинации состояния и ленточного символа в таблице соответствует не более одного правила.

Недетерминированная машина Тьюринга – машина, если существует пара «ленточный символ — состояние», для которой существует 2 и более команд.

Алгоритм – описание вычислительного процесса решения задачи, обладающее свойствами массовости, дискретности, детерминированности, направленности, конечности и элементарности.

Интуитивно вычислимая функция – частичная функция представляющая собой функциональную связь наборов входной информации с наборами выходной информации.

ТЕСТ

1. Какая функция называется арифметической?