Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Неразрешимые алгоритмические проблемы МТ
Тогда существовала бы УМТ М1, распознающая свойство несамоприменимости, а для самоприменимых машин, работающая вечно. Достаточно в М0 добавить состояние uz+1 и дополнить ее систему команд командой uzЛ®uz+1И.
Таким образом какова бы не была МТ Т, М1 выдаст истину и будет применима к Т только, если Т несамоприменима. Но отсюда следует, что во-первых, М1 не может быть самоприменимой. Так как на самоприменимых машинах она работает вечно и потому неприменима в случае, если на ленте записан ее собственный код. Во-вторых, она не может быть несамоприменимой, так как, тогда она была бы применима к своему коду и была бы самоприменимой.
Это значит, что при стартовой конфигурации K1=u1?М1|q1?М1 УМТ М1 остановится в случае, если МТ М1 на ее
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
