Ejercicio Maquina de Turing

DISEÑAR UNA MAQUINA DE TURING QUE ACEPTE EL LENGUAJE

L={0n1n :n>0}Lo primero que haremos es limitar el alfabeto a

$$\Sigma =\{0,1\}$$

así nos aseguramos de que sólo puede aceptar palabras con de entrada con símbolos 1 y 0.
Los símbolos de cinta serán

$$T=\{0,1,B,X,Y\}$$

siendo B el símbolo en blanco.
La MT consta de cinco estados:

$$q_0,q_1,q_2,q_3,q_4$$

Los estados q₀ y q₄ son el inicial y el final, respectivamente.
Inicialmente, la cabeza señala el primer 0. Lo cambia por X y se desplaza a la derecha en busca del primer 1 para cambiarlo por Y:

$$\delta (q_0,0)=(q_1,X,R)$$

$$\delta (q_1,0)=(q_1,0,R)$$

Es decir, mientras haya 0's, se mantiene en el estado q₁ .

$$\mathrm{abrá\; cambiado\; por Y ).\; La\; MT\; se\; quedará\; permanentemente\; en\; el\; estado q1 .}$$