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