Содержание
- Введение 1
- Теоретические основы Машины Тьюринга 2
- - Устройство и элементы Машины Тьюринга 2.1
- - Правила перехода и функция вычислений 2.2
- - Представление алгоритмов на Машине Тьюринга 2.3
- Вычислимость и проблема останова 3
- - Понятие вычислимости и частично вычислимые функции 3.1
- - Проблема останова и ее неразрешимость 3.2
- - Универсальная машина Тьюринга 3.3
- Машина Тьюринга и современные парадигмы программирования 4
- - Влияние на императивное программирование 4.1
- - Функциональное программирование и лямбда-исчисление 4.2
- - Логическое программирование и резолюция 4.3
- Заключение 5
- Список литературы 6