MT's para cadenas que incrementan el número de 0's

Importante: Las MT's solo aceptarán cadenas del tipo 00100100010000. Es decir, solo cadenas que comiencen y acaben por 0 y que solo tengan un 1 como separador. Por tanto, las cadenas del tipo: 1001000, 0010001,001000100,000110000, no serán aceptadas.

MT normal(Con marcaje de símbolos)

Inicialmente el cabezal se encuentra en el primer 0.
Idea:La idea es ir comparando los bloques de 0's mediante el marcaje de símbolos. Así pues vamos marcando un cero antes del separador y un cero después del separador, hasta que no hay más ceros por marcar en alguna de las partes del separador.Si nos quedamos sin ceros que marcar en la parte derecha del separador entonces la cadena no se acepta porque el número de ceros es decreciente. Si por el contrario nos quedamos sin ceros que marcar en las dos partes o en la parte derecha del marcador la cadena si que se aceptará porque el numero de ceros no se reduce o es creciente.

MT modificada(multicabezal)

Hemos elegido una MT multicabezal porque es la modificación que nos da una solución mas rápida a la hora de comparar el tamaño de cada bloque de 0´s.
Inicialmente el primer cabezal esta en el primer 0 y el segundo cabezal esta después del primer separador, es decir, después del primer 1.
Idea: La idea es ir recorriendo la cadena de izquierda a derecha comparando el número de 0's que lee el primer cabezal respecto del segundo.Si el número de 0's que lee el primer cabezal es igual que el del segundo o menor la cadena se aceptará, pero si es mayor entonces la cadena no se aceptará.