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