<<
>>

5.3.2. Проблема останова

Проблема останова заключается в том, чтобы по любой машине Тьюринга Т и слову Р в ее внешнем алфавите узнать, применима ли Т к начальной конфигурации q1Р. Проблема останова алгоритмически неразрешима, т.к. если бы она была разрешимой, то, взяв в качестве Р слово Код(Т), мы получили бы разрешимость проблемы самоприменимости.

<< | >>
Источник: Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

Еще по теме 5.3.2. Проблема останова:

  1. 3.3. Проблема останова для человека
  2. 27(3).2. «Структура магии» и проблема останова
  3. В гостиницах регистрируются паспорта тех иностранцев, которые в них остановились.
  4. 4. Философские проблемы различаются в соответствии с делением жизненных проблем на проблемы-образы, проблемы-действия и вербальные проблемы
  5. 6. Отделите более значительные факты дела, расположите их в последовательности по времени и, остановившись на каждом, посмотрите кругом, посмотрите назад, посмотрите вперед.
  6. Введение: характеристика проблемы Происхождение вселенной: проблема “самого начала”
  7. 21. ЗАГАЛЬНА МОДЕЛЬ СТРУКТ. КОНСУЛЬ. ПРОЦЕСУ. ЕТАПИ ДОСЛІДЖЕННЯ ПРОБЛЕМ ТА ДВОМІРНОГО ВИЗНАЧЕННЯ ПРОБЛЕМ
  8. О проблеме бытия и проблеме существования материи The Problem of Being and Matter
  9. «Выбор проблемы. Социальная значимость и актуальность проблемы
  10. Глобальные проблемы человечества, их типология. Экологические проблемы современности. Пути выхода из кризиса.
  11. 49.Современное российское право: состояние, проблемы, проблемы развития, соотношение с международным.
  12. § 149. Проблемы региональных онтологий, относящиеся к теории разума. Проблемы феноменологического конституирования
  13. Проблема «мозг и психика». Варианты решения этой проблемы в отечественной и зарубежной науке (узкийлоколизационизм, антилокализационизм.)
  14. Проблема смысла языковых выражений в свете проблемы универсалий The problem of meaning of language expressions in view of problem of universals
  15. § 3. Проблема гибели позднеантичного общества и общие проблемы гибели цивилизаций
  16. Ю. Правовые проблемы оборота векселей // Правовые проблемы ликвидации дебиторской
  17. 13. Актуальные проблемы российской психологии XXI века. Проблема содержания психологии.
  18. Проблема человека в философии Человек как проблема для самого себя