Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Неразрешимые алгоритмические проблемы МТ
f2(y) (5.1)
Воспользуемся данным правилом для доказательства вычислимости функции g(x)=2x. Выясняется, что T·=T+(Tкоп).
Действительно, для получения g(x) необходимо скопировать x, что делает МТ Tкоп, а затем необходимо к результату применить МТ сложения T+, получим x+x=2x.
Разветвление машин Т, как правило вывода формальной системы. Еще одно правило вывода – разветвление.
Пусть функция f(a) задана описанием: “если P(a) истинно, то f(a)=g1(a), иначе f(a)=g2(a)”. Тогда функция f(a) называется условным переходом или разветвлением.
Логическая функция P(a) является предикатом. МТ, вычисляющие предикаты P(a), объединяет то, что все они имеют начальную конфигурацию K1=q1a, и конечную конфигурацию K1=q1Ia, где I=И есл
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
