¿Cómo puede una máquina de Turing universal simular las "más grandes"?

Estoy tratando de encontrar las respuestas de dos preguntas sobre la máquina Universal Turing.

¿Cómo puede la máquina Universal Turing simular una máquina Turing si la que se está simulando tiene un mayor número de estados?
¿Cómo puede la máquina de Turing universal simular una máquina de Turing si la que se está simulando tiene una mayor cantidad de caracteres alfabéticos?

¿Alguien puede ayudarme con estas preguntas?

— Estudiante
fuente

Otro punto de vista interesante es que el UTM se puede construir con un número constante de estados. simula otras TM con # arbitrario de estados o símbolos codificados en la cinta.

— vzn

una pregunta relacionada es cómo puede un TM simular un ATM (TM alternativo), que es más o menos por el mismo método que codifica adaf extra en cinta más una reducción de estados en clases

— Nikos M.

La respuesta a ambas preguntas es la misma: usando la cinta para almacenar los datos necesarios. Podemos suponer que el conjunto de estados y el alfabeto de la máquina a simular son subconjuntos de los números naturales ("Estado 1", "Estado 2", "Estado 3", etc.). Incluso con solo dos caracteres no en blanco, la máquina universal puede representar todos esos enteros como cadenas binarias.

Sin embargo, tenga en cuenta que la máquina universal tiene un número fijo de estados, lo que hace que calcular la función de transición sea un poco complicado. Lo que nos gustaría hacer es escribir algunas instrucciones que implementen una declaración de cambio grande de la forma: "Si el estado es el carácter debajo de la cabeza es , entonces muévase al estado , escriba el carácter y mueva el cabeza en dirección ". Entonces, y creo que esta puede ser la raíz de su pregunta, ¿cómo calculamos la función de transición si ni siquiera tenemos suficientes estados en la máquina universal para almacenar la entrada de la función de transición? $s$ $x$ $s'$ $x'$ $d$

Una forma es almacenar la función de transición como un árbol binario. Supongamos que toda la máquina simulada tiene estados y símbolos de cinta . Almacene la función de transición como un árbol binario de profundidad donde, en los primeros niveles, vaya hacia la izquierda o hacia la derecha según si el siguiente bit del estado simulado es uno o cero y los siguientes niveles son los mismos pero para los bits sucesivos del carácter de cinta simulada. Ahora, su máquina universal puede caminar hacia adelante y hacia atrás en su cinta, verificando el siguiente bit del estado / carácter, recordando ese bit en sus propios estados, volviendo al árbol, colocando un marcador en el nodo correcto, y así sucesivamente. $2^q$ $2^\ell$ $q+\ell$ $q$ $\ell$

Esto se vuelve un poco más fácil si deja que su máquina universal tenga varias cintas, pero aún así tiene que demostrar que su máquina de cintas múltiples es equivalente a una sola máquina de cinta.

— David Richerby
fuente