Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Отношения на функциях принадлежности
ово скопировано, устанавливаем головку в стандартное положение, меняя нули на единицы.
Kz=…lqz1111*11111l...
qz – результат получен, функция копирования натурального числа вычислима на машине Ткоп. Алфавит состояний Q{q1,q2,q3,q4,q5,q6}, алфавит данных A{1,*,0,l}.
Подведем итоги. Теперь мы умеем создавать аксиомы – элементарные алгоритмы на МТ. Предметом дальнейших исследований явятся правила вывода.
Композиция машин Т, как правило вывода формальной системы. Итак, теперь мы умеем реализовывать МТ для вычислимых функций. Этот аспект подобен содержательному исчислению, теперь рассмотрим формальные аспекты исчисления алгоритмов. Сейчас будут получены два правила вывода, позволяющие формально, не вдаваясь в смысл
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
