Теория алгоритмов, Предикаты, Тишин В.В., 2002

Теория алгоритмов, Предикаты, Тишин В.В., 2002.

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




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

Работа машины Тьюринга над словом а, записанным на ленте, проходит следующим образом:
машина Тьюринга начинает свою работу всегда в состоянии s1, а её считывающее устройство расположено над первым слева символом слова, записанного на ленте;
считав символ в ячейке, обозреваемой считывающим устройством машины Тьюринга, она печатает в эту ячейку символ, найденный с помощью функции выхода v, двигается вдоль ленты вправо, влево или остаётся на месте, в случае, если функция μ принимает значения П, Л, или Н соответственно и переходит в состояние, определяемое с помощью функции перехода δ.

ОГЛАВЛЕНИЕ.
Теория алгоритмов.
Машины Тьюринга.
Нормальные алгоритмы.
Рекурсивные функции.
Предикаты.
Список литературы.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Теория алгоритмов, Предикаты, Тишин В.В., 2002 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: учебник по математике :: математика :: Тишин