Как универсальная машина Тьюринга может имитировать «большие»?

Я пытаюсь найти ответы на два вопроса об универсальной машине Тьюринга.

1. Как универсальная машина Тьюринга может моделировать машину Тьюринга, если моделируемая машина имеет большее число состояний?
2. Как универсальная машина Тьюринга может имитировать машину Тьюринга, если на моделируемой машине большее количество букв алфавита?

Может ли кто-нибудь помочь мне с этими вопросами?

Ответ на оба вопроса один и тот же: используя ленту для хранения необходимых данных. Можно предположить, что набор состояний и алфавит моделируемой машины являются подмножествами натуральных чисел («Состояние 1», «Состояние 2», «Состояние 3» и т. Д.). Даже с двумя непустыми символами универсальный компьютер может представлять все эти целые числа в виде двоичных строк.

Однако обратите внимание, что универсальная машина имеет фиксированное число состояний, что делает вычисление функции перехода немного сложным. Мы хотели бы написать несколько инструкций, которые реализуют большой оператор switch в форме: «Если состояние  и символ под заголовком  , то перейдите в состояние  , напишите символ  и переместите голова в направлении  . " Итак - и я думаю, что это может быть корнем вашего вопроса - как мы вычисляем функцию перехода, если у нас даже нет достаточного количества состояний в универсальной машине для хранения входных данных функции перехода?$s$$x$$s'$$x'$$d$

Одним из способов является сохранение функции перехода в виде двоичного дерева. Предположим, что все моделируемая машина имеет  состояния и  символов ленты. Сохраните функцию перехода как двоичное дерево глубины где на первых  уровнях вы идете влево или вправо в зависимости от того, равен ли следующий бит имитируемого состояния единице или нулю, а следующие  уровни являются то же самое, но для последовательных битов смоделированного символа ленты. Теперь ваш универсальный компьютер может двигаться вперед и назад по своей ленте, проверяя следующий бит состояния / символа, запоминая этот бит в его собственных состояниях, возвращаясь к дереву, помещая маркер в правильный узел и так далее.$2^q$$2^\ell$$q+\ell$$q$$\ell$

Это становится несколько проще, если вы разрешите универсальному устройству иметь несколько лент, но вам все равно придется показать, что ваш многоканальный компьютер эквивалентен одному ленточному устройству.