Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
Объявление: Вакансии в краснодаре. Требуется WEB-Дизайнер на krasnodar.rabota.ru |
|
Неразрешимые алгоритмические проблемы МТ
бесконечен, из-за того, что система команд произвольной МТ, может включать множество символов, впрочем, как и алфавит данных машины Т. Эта проблема решается кодированием.
Пусть алфавит данных произвольной машины Т: А{a1,…an}, а алфавит состояний: Q{А{q1,…qn}. И пусть мощности алфавитов равны соответственно N и M. тогда каждому символу ai из A можно поставить в соответствие код a1i0N-ia, а каждому символу qj из алфавита Q – код q1j0M-jq. Таким образом, любая система команд и данных может быть записана на ленте, используя алфавит, содержащий ограниченное число символов: {a,q,1,0,l,L,R,E,|,®}.
Понятие неразрешимых алгоритмических проблем. УМТ это аналог ЭВМ, созданный задолго до ее появления. УМТ в теории алгоритмов используется дл
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
