Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Отношения на функциях принадлежности
вает причины нерезультативности, так, например, одна из причин – зацикленность конфигураций. Это наблюдается, если в процессе реализации дважды появляется одна и та же конфигурация. например K1?K2?K5?K2… Пример такого алгоритма – МТ с системой команд q1a1®q2a2, q2a2®q1a1.
Организация данных в МТ. Для получения аксиом формальной теории, необходимо научиться конструировать на МТ простейшие алгоритмы. Для начала определимся с правильным синтаксисом аксиом-алгоритмов. Начнем с данных.
Данные МТ записываются на ленте в виде слов. При этом существует:
алфавит Ad{a1,…an} – с помощью которого организуются объекты – числа, матрицы и т.д.
алфавит Ar{r1,…rn} – с помощью которого объекты отделяют друг от друга, в нашем изложении A
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
