Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Неразрешимые алгоритмические проблемы МТ
ая за ним справа ячейка, будет считаться активной ячейкой, воображаемой ленты МТ Т. Таким образом, запись справа от разделителя соответствует описанию каонфигурации МТ Т: ?T|a1qia2. Процесс реализации МТ Т на УМТ Tу будет заключаться в последовательном изменении конфигураций Т, записанных справа от разделителя.
Словесное описание алгоритма работы УМТ следующее. Для текущей конфигурации УМТ Kp=?T|a1akuqiaja2 (u – текущее состояние УМТ) найти в системе команд ?T команду с левой частью qiaj. Возможны три варианта правой части такой команды:
правая часть имеет вид qi`aj`E, тогда необходимо просто вписать qi`aj` вместо qiaj, Kp+1=?T|a1akuqi`aj`a2,
правая часть имеет вид qi`aj`R, тогда необходимо вписать aj` вместо aj, и воображае
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
