Formato de Entrada : BQ00N10M10P…10ZB
Formato de Salida : B0..0B
Q0 : Estado inicial y eliminamos el 1º elemento.
Q1 : Vamos en busca del separador o blanco (final de la cadena).
Q2 : Marcamos símbolos del segundo término.
Q3 : Retrocedemos hasta el principio.
Q4 : Una vez hemos acabado la 1º sección comprobamos si el siguiente es mayor (ver notas).
Q5 : Desmarcamos las X.
Q6 : Estado final
Resumen:
Básicamente la forma de operar del autómata sería la de ir eliminando los elementos en una primera sección e ir marcando-los en una 2º sección(después del separador); una vez acabados los elementos de la 1º comprobaría si en la segunda todavía quedan elementos y si es así (en este caso es mayor que la anterior) volvería a empezar considerando la 2º sección como la inicial; es decir trabajaría a pares de secciones 1-2,2-3,3-4… y así hasta el final.
Notas :
Esta MT comprueba si dada una cadena de caracteres con el formato de entrada los diferentes grupos de 0’s tienen orden creciente estrictamente; es decir 0n<0m<0p…<0z>
1 comentario:
La máquina funciona correctamente.
Publicar un comentario