Существование универсальных вычислителей. Алгоритмические проблемы и взаимосвязь алгоритмических систем.
| Категория реферата: Рефераты по информатике, программированию
| Теги реферата: шпоры бесплатно, реферат россия скачать
| Добавил(а) на сайт: Снаткин.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8
Проблема самоприменимости алгоритмической системы алгоритмически не разрешима;
Если алгоритмическая проблема не разрешима, то она не разрешима в любой другой эквивалентной алгоритмической системы;
Алгоритмические
системы МТ и НАМ эквивалентны.
Вопросы :
Что такое интерпретация?
Что такое кодирование?
В чем проблема линеаризации Ф.с. для МТ?
Что
такое универсальный исполнитель:
- он может исполнять заданный А в любой А.с.?
- он может исполнять любой А, выразимый в данной А.с.?
Как решается проблема произвольности алфавита в УМТ?
Что такое А.п.?
Самоприменимость - что это такое?
А.п. самоприменимости разрешима?
В МТ А не закончен если нет применимого правила, в НАМ в этом случае А - закончен. Как это несоответствие решается при доказательстве сводимости МТ к НАМ и наоборот?
Что означает запись:
Если Fa (*P), то M(1||Q*aR)o U*o U1 иначе U0o U*o Ui+1?
Скачали данный реферат: Rusnak, Chernobrovin, Ясенков, Паисия, Iljushkin, Rimma, Квасников.
Последние просмотренные рефераты на тему: методы курсовой работы, промышленность реферат, сообщение, сообщение на тему.
Категории:
Предыдущая страница реферата | 1 2 3 4 5 6 7 8