MT Clásica que Cuenta Bloques de Ceros (0+1)*

MT Clásica que Cuenta Bloques de Ceros (0+1)^*

Entrada: ...B0001001001000100B...

Salida: ...B00000B...

	0	1	B
Q0	Q0, B, R	Q1, B, R	Q5, B, R
Q1	Q1, 0, R	Q1, 1, R	Q2, B, R
Q2	Q2, 0, R		Q3, 0, L
Q3	Q3, 0, L		Q4, B, L
Q4	Q4, 0, L	Q4, 1, L	Q0, B, R
Q5	Q5, 0, R		Q6, 0, L
Q6

Q0: Inicio de programa e inicio de la finalización del programa.

En este estado Q0 iremos borrando 0’s y 1’s mientras vayamos consumiendo símbolos de la cadena de entrada. Cuando se localice el símbolo 1, iremos a escribir un 0 en el bloque de resultado y, si se localiza el símbolo B, se procederá a escribir el último 0 al bloque de resultado final.

Q1: Buscar B para localizar el cabezal en el bloque de resultado.

Q2: Buscar B para escribir 0’s.

Q3: Retroceder hasta B para salir del bloque de resultado.

Q4: Retroceder hasta B para volver a iniciar el escaneo de 0’s y 1’s.

Q5: Escritura del último 0 en el bloque de resultado y nos vamos a finalizar el programa.

Q6: Estado Final. Finalizar programa.