Существование универсальных вычислителей. Алгоритмические проблемы и взаимосвязь алгоритмических систем.

Итак, пусть нам надо построить Универсальную Машину Тьюринга, назовём её УМТ, для которой.Первая проблема разбивается на две.Теперь задумаемся вот о чём.Для каждого нового алгоритма мы вынуждены строить новый исполнитель.Умт (мт,д) =мт (д) .Перейди к шагу 1.Как задавать программу и конфигурацию имитируемой МТ на ленте?Так как произвольная МТ может иметь произвольный алфавит, то какой алфавит должен быть у УМТ?На рисунке 4.1. показана линейная запись функциональной схемы для U1 (n) .Как задать программу на ленте?