Este documento describe cómo codificar una máquina de Turing como una secuencia binaria finita de ceros y unos. Explica que los estados, símbolos y directrices de desplazamiento de una máquina de Turing se codifican con secuencias de unos y ceros, y que una transición completa se codifica concatenando estas secuencias. Finalmente, una máquina de Turing completa se codifica concatenando las codificaciones de todas sus transiciones posibles.

1. Codificación de MAQUINA DE TURING
Toda máquina de Turing puede codificarse como una secuencia binaria finita, es decir una
secuencia finita de ceros y unos. Para simplificar la codificación, suponemos que toda MT tiene un único
estado inicial denotado por , y un único estado final denotado .
• donde representa el símbolo blanco 0, o b (según se desee denotar),
• es alfabeto de entrada y
• son los símbolos auxiliares utilizados por M (cada MT utiliza su propia colección
finito de símbolos auxiliares). Todos estos símbolos se codifican como secuencias de unos:
Los estados de una MT se codifican también con secuencias de unos:

2. Las directrices de desplazamiento , y se codifican con 1, 11, 111, respectivamente.
Una transición se codifica usando ceros como separadores entre los estados, los
símbolos del alfabeto de cinta y la directriz de desplazamiento . Así, la transición se
codifica como
En general, la codificación de una transición cualquiera
donde , según la dirección sea
Una MT se codifica escribiendo consecutivamente las secuencias de las modificaciones de
todas sus transiciones. Más precisamente, la codificación de una MT M es de la
forma , es la codificación de la -ésima transición de M. Puesto que el orden en que se
representen las transiciones de una MT no es relevante, una misma MT tiene varias codificaciones
forma , es la codificación de la -ésima transición de M. Puesto que el orden en que se
representen las transiciones de una MT no es relevante, una misma MT tiene varias codificaciones
diferentes. Esto no representa ninguna desventaja práctica o conceptual ya que no se pretende que las
codificaciones sean únicas.