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