Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Отношения на функциях принадлежности
r{*}.
l - символ, обозначающий пустую ячейку.
Любые данные алгоритма располагаются на ленте в виде вектора данных …la1*a2*...anl....
Понятие стандартной конфигурации. Алгоритмы МТ начинают работать с начальной конфигурации K1. Стандартной начальной конфигурацией K1 МТ является конфигурация K1=q1a. То есть конфигурация, в которой МТ в состоянии q1 обозревает крайний левый символ слова на ленте. Стандартная конечная конфигурация МТ, это конфигурация K1=qza. Таким образом, в стандартной конечной конфигурации МТ головка МТ готова к принятию новомго алгоритму.
Понятие правильно вычислимой функции по Тьюрингу.
Если f(a)=w, и существует МТ, перерабатывающая слово a в слово w, причем K1=q1a, а Kz=qzw, то функция называется
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
