Ejemplos de ejercicios o problemas:

Problema 1
Máquina de Turing que proporciona el complemento a 1 de un
número binario.
La MT tendrá escrita en la cinta un número de n cifras en binario.
Tiene que cambiar los 0's por 1's y viceversa.
Inicialmente, la cabeza de la MT señala la primera cifra del número.
Las otras casillas tienen el símbolo en blanco.
La cinta de la MT es

La MT tendrá únicamente dos estados: el inicial, q0, y el de aceptación

o final, q1.
La MT se mantiene en el estado q0 mientras realiza la conversión.
Cuando haya finalizado, pasa al estado q1.
Función de Transiciones:
δ(q0,1)=(q0,0,R)δ(q0,1)=(q0,0,R)
Es decir, si la cabeza señala un 1, lo cambia por un 0 y se mueve
hacia la derecha.
δ(q0,0)=(q0,1,R)δ(q0,0)=(q0,1,R)
Es decir, si la cabeza señala un 0, lo cambia por un 1 y se mueve
hacia la derecha.
δ(q0,B)=(q1,B,R)δ(q0,B)=(q1,B,R)
Es decir, cuando la cabeza señala el primer símbolo en blanco, la
cabeza se mueve a la derecha y la MT pasa al estado final.
Por tanto, la MT es
M=({q0,q1},{0,1},{0,1,B},δ,q0,B,{q1})M=({q0,q1},{0,1},{0,1,B},δ,q0,B,{q1})
siendo δ la función de transición definida por:
δ(q0,0)=(q0,1,R)δ(q0,0)=(q0,1,R)
δ(q0,1)=(q0,0,R)δ(q0,1)=(q0,0,R)
δ(q0,B)=(q1,B,R)δ(q0,B)=(q1,B,R)
Notemos que la MT se para al llegar al estado de aceptación q1 ya que
para este estado no tenemos definida la función de transición.

Problema 2
Diseñar una máquina de Turing que calcula el número
consecutivo de un número dado en binario.
Si el número es par, su último bit es 0. La máquina sólo tiene que
cambiar este 0 por un 1.
Si el número es impar, su último bit es 1. En este caso, se tiene que
cambiar por 0’s todos los 1’s seguidos que haya escritos de derecha a
izquierda hasta llegar al primer 0, que se cambia por un 1. Si no hay
ningún 0, entonces se tiene que añadir un 1 delante del número
(añadir un bit). Es decir, escribir un 1 en la casilla en blanco (B) a la
izquierda del número.
Vamos a considerar tres estados:
q0,q1,q2q0,q1,q2
 Inicialmente, la MT está en el estado q0 con la cabeza
señalando la primera cifra del número.
La MT recorre todo el número para ver si es par o impar sin modificar
su cinta.
δ(q0,0)=(q0,0,R)δ(q0,0)=(q0,0,R)
δ(q0,1)=(q0,1,R)δ(q0,1)=(q0,1,R)
 Notemos que, por ahora, la MT se detiene al llegar al primer
símbolo en blanco a la derecha del número.
La MT vuelve a la anterior casilla (último número). Si es un 0, lo
cambia por un 1 y pasa al estado final que es q2  . Para hacer esto
usaremos el estado q1  :
δ(q0,B)=(q1,B,L)δ(q0,B)=(q1,B,L)
δ(q1,0)=(q2,1,R)δ(q1,0)=(q2,1,R)
 Si el número es impar, la MT no ha cambiado el último
número, pero está en el estado q1  . Tiene que cambiar todos
los 1's consecutivos que haya de derecha a izquierda.
δ(q1,1)=(q1,0,L)δ(q1,1)=(q1,0,L)
 Por ahora, la MT se para cuando llega al primer 0 (de derecha
a izquierda) ó en un símbolo en blanco. Si es un 0, lo cambia
por un 1 y el proceso finaliza:
δ(q1,0)=(q2,1,L)δ(q1,0)=(q2,1,L)
 Si lo que señala la cabeza es un blanco en vez de un 1, tiene
que cambiarlo por un 1 y finalizar el proceso.
δ(q1,B)=(q2,1,L)δ(q1,B)=(q2,1,L)
El diagrama de la máquina es:

Donde el cuadro representa el símbolo en blanco B.

Vamos a simular la MT para varias entradas. Mostraremos el estado
final de la cinta y la posición de la cabeza.
Entrada: 000; Resultado esperado: 001.

Entrada: 0011; Resultado esperado: 0100.
Entrada: 111; Resultado esperado: 1000.

Entrada: 1; Resultado esperado: 10.

Teoremas sobre las máquinas de Turing

Lenguaje Recursivamente Enumerable
Recordemos que llamamos lenguaje Recursivamente Enumerable a
los lenguajes que pueden ser aceptados por una Máquina de Turing.
 Teorema 1
Todo lenguaje aceptado por una Máquina de Turing de varias
cintas es Recursivamente Enumerable.
 Teorema 2
Sea L = L(M) el lenguaje que acepta una máquina de Turing
no determinista M, entonces existe una máquina de Turing
deterministaN que acepta dicho lenguaje, es decir, L(M) =L
(N).

Lenguajes de máquinas de Turing y de Autómatas

 Teorema 3
Sea L el lenguaje aceptado por una máquina de Turing,
entonces existe algún Autómata de dos pilas que acepta L.
 Teorema 4
Todo lenguaje Recursivamente Enumerable es aceptado por
alguna máquina de tres contadores.
 Teorema 5
Todo lenguaje Recursivamente Enumerable es aceptado por
alguna máquina de dos contadores.