Mquinas de Moore

Una mquina de Moore es similar a una de Mealy, salvo en que la respuesta slo depende del estado actual de la mquina y es independiente de la entrada. Precisamente, una mquina de Moore es una estructura de la forma

donde

La semntica procedimental de la mquina de Moore es la siguiente: Al inicio de cualquier computacin, la mquina se encuentra en el estado q0. Posteriormente, cuando la mquina se encuentra en un estado de entrada de salida , entonces transita al nuevo estado . , y recibe una literal y emite el smbolo

Ejemplos 1. Congruencias mdulo 3: Supongamos que se da un nmero en su representacin binaria y se quiere calcular su residuo mdulo 3. Consideremos la mquina cuya representacin grfica se muestra en la figura (3.3). Figure 3.3: Mquina de Moore para calcular congruencias mdulo 3 de nmeros dados en binario.

Las funciones de transicin y de respuesta quedan especificadas de manera tabular como sigue:

Por induccin en la longitud n de cualquier palabra representacin en binario de un nmero

, que sea la

se puede ver que la respuesta final obtenida al

aplicar es . En efecto, para n=1, con las palabras '0' y '1' se tiene las respuestas correctas 0 y 1. Sea n>0. Supongamos que para una palabra , de longitud n1, se tiene como respuesta final i, donde y x es el nmero representado en binario por . Para el nmero representado por la concatenacin de con s,

es 2x+s, el cual es congruente mdulo 3 con valores se tiene

. Al tabular estos ltimos

lo que corresponde naturalmente a la tabla de transiciones del autmata construdo. De hecho, ste es un caso particular del siguiente ejemplo ms general: Sea n>1 una base de representacin de nmeros naturales y sea k>0 un nmero natural. Sea mquina de Moore tal que

la

posee n smbolos de entrada posee k estados

, , y k smbolos de salida, uno por cada estado. ,y

tiene como transicin a la funcin tiene como respuesta .

Entonces

calcula el residuo mdulo k de cualquier nmero en base n. En la , para

tabla (3.3) presentamos las tablas de transicin de las mquinas k=5,7,13.

Table 3.3: Clculo de residuos mdulo 5, 7 y 13 en notacin decimal.

El lector no ha de tener dificultad en visualizar, a partir de esos ejemplos, las transiciones de cualquier mquina .

2. Problema de botes: Supongamos dados k>1 botes. Para cada , sea la capacidad, en litros, del i-simo bote. Los botes pueden ser llenados de agua o bien ser vaciados de acuerdo con las siguientes reglas: Li : llnese el i-simo bote, Vi : vacese el i-simo bote, virtase el contenido del i1-simo bote en el i2-simo hasta que aquel se vace o ste se llene. Si se considera a los dos primeros botes como distinguidos, se trata de caracterizar a las cantidades de agua ``constructibles'' como suma de los contenidos de esos dos primeros

Mi1i2 :

botes. Sean pues Las transiciones quedan caracterizadas de la siguiente forma:

La respuesta es la funcin