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