Проблема остановки машины Тьюринга

Описание: Тьюринг высказал гипотезу (известную также как тезис Тьюринга) о том, что для всякой вычислимой функции может быть построена машина Тьюринга. Этот тезис также не может быть доказан, так как включает нестрогое понятие вычислимой функции.
Для всякой рекурсивной функции может быть построена машина Тьюринга и, обратно, всякая машина Тьюринга вычисляет рекурсивную функцию.
Целю данной курсовой работы, является рассмотрение достаточных условий разрешимости, проблемы остановки машин Тьюринга. Проанализировать алгоритмическую неразрешимость ряда задач.
Реферат содержит 1 файл: 

Вологиров.docx

153.39 Кб | Файл microsoft Word  открыть 
Не получается скачать реферат Проблема остановки машины Тьюринга? - Техническая поддержка
Поиск по сайту

Предметы