L1 = { s#w / s,w 
{0,1}*, s es substring de w}
Buenas, me queda una duda sobre el comienzo de la maquina. Cual es la finalidad de recorrer la tira hasta el final sin hacer nada y luego de nuevo al comienzo sin hacer nada?
Gracias!
Es sutil, tuve que consultar a los sabios.