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