Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Неразрешимые алгоритмические проблемы МТ
i, результатом является значение i-го аргумента из n аргументов.
Таким образом, модель РФ как бы содержит три МТ, три системы команд.
Элементарные правила вывода модели РФ это два оператора:
Оператор подстановки Snm(h,g1,…gm), это значит, что в функцию h(y1,…ym) вместо каждого аргумента yi подставляется функция g(x1,…xn). То есть Snm(h,g1,…gm)=f(x1,…xn). Это правило соответствует композиции МТ.
Оператор примитивной рекурсии Rn(f,g,h). Действие оператора можно описать системой двух уравнений:
f(x1,…xn,y+1)=h(x1,…xn,y,f(x1,…xn,y));
f(x1,…xn,0)=g(x1,…xn).
В первом уравнении происходит так называемый шаг элементарной рекурсии. Значение функции f в точке y+1, вычисляется через значение в y. Второе уравне
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
