jueves, 24 de abril de 2008

MT Comprobadora de Secuencia Creciente

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:

Srta. Indecidible dijo...

La máquina funciona correctamente.