El lenguaje es: L2 = { 
, con w y w' ∈ {0,1}*, con |w|=|w'| y n = cantidad de símbolos diferentes en las mismas posiciones entre w y w'}
La solucion del parcial oficial tiene la maquina de turing que agrego mas abajo como MT1.
Mi duda es si puedo omitir los estados q4 y q5 y saltar directamente al estado q7, y ademas que q7 tambien tenga los lazos que tiene q8 (y elimino q8).
Lo que tengo que hacer para que esto funcione, es que para marcar los ya leidos, en lugar de usar solo una X, uso mas letras.
En la tira w uso A (A mayuscula) para los ya leidos, en la tira w' uso B y en los ya leidos de los 1's del final uso C.
Todo esto para simplificar a un estado único para el retorno al comienzo de la tira, ya que controlé que la tira fuese correcta "en la ida" entonces no necesito hacerlo "en la vuelta".
MT1:
MT2: