Molina Palmeros Andrs.

MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

AUTMATA DE MEALY
Una Mquina de Mealy (o Transductor de estados finito) tambin es un autmata finito pero que genera una salida. Es definido por una 6-tupla:

Donde: : Es el conjunto finito de estados. : Es el alfabeto de entrada. : Es el alfabeto de salida. : Un estado en el cual inicia la : Es la funcin de : Es la salida. (elemento de ) distinguible computacin. transicin funcin de

Notemos que no se ha definido algn conjunto de estados de salida, puesto que la funcin de este tipo de mquinas, responde con una cadena de salida ante los smbolos de entrada y los estados correspondientes, de esta manera todos los estados son estados finales y solamente uno de ellos es un estado inicial. Este tipo de mquinas nos sern especialmente tiles para reconocer subespacios de clulas, ya que es posible crear una mquina de estados que lea cada valor de cada clula en el subespacio definido y al terminar de leer, genere ciertas palabras. Por ejemplo: Sea la mquina de Mealy definida como sigue: , done cada elemento es definido as: : :
1

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

: : :

En la descripcin del ejemplo anterior, las funciones y se describen como tercias, en donde el tercer elemento de cada triada es el resultado de la funcin aplicada a los dos primeros elementos de la tercia en ese orden. El diagrama de transiciones entre los estados se muestra en la figura 1 , donde los smbolos del alfabeto de entrada se muestran en las etiquetas de las flechas en color negro en la parte izquierda de la etiqueta, y los smbolos del alfabeto de salida se muestran en el lado derecho de la etiqueta de cada liga en color rojo 1

Figura 1: Diagrama de transicin de estados de la mquina de Mealy del ejemplo 1 . Al desarrollar el funcionamiento de esta mquina, nos podemos dar cuenta de que la funcin de salida devuelve un 1 nicamente cuando se proporciona como entrada una cadena binaria del tipo 1(011)+, donde la palabra generada por es del tipo 0(001)+ dndonos la oportunidad de
2

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN verificar el ltimo carcter para determinar alguna accin: si el ltimo carcter es 1, entonces se realiza tal, de otra manera no se realiza.

1.- Residuos Modulo 4: Acentuacin presentaremos una mquina que calcula el residuo mdulo 4, de una cadena de 1's, cuando se ve a esa cadena como la representacin unaria de un nmero no-negativo. Representamos grficamente a la mquina en la figura (3.1a). Figura 3.1: Mquina de Mealy para el clculo de residuos mdulo 4 en representacin unaria.

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN Esta mquina es

donde las funciones tran y res estn dadas como sendas tablas en la figura (3.1b). Aqu se puede confundir el conjunto de estados con el alfabeto de salida de manera muy natural: el i-simo estado es un i-simo smbolo de salida. 2. Repeticin final de un mismo smbolo: Construyamos una mquina de Mealy que reconozca a las palabras en (0+1) que terminan con la repeticin de un mismo smbolo. Es decir, que reconozca a palabras en el alfabeto L=(0+1)*(00+11). Grficamente, presentamos a la mquina en la figura (3.2). Figura 3.2: Mquina de Mealy para reconocer palabras que terminan con un smbolo repetido.

La interpretacin de cada estado es natural:

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN Se tiene una respuesta afirmativa cundo se permanece en un mismo estado. Las componentes de la mquina son pues y

3. Mquina expendedora de golosinas: Consideremos una mquina expendedora de golosinas, de $4 pesos cada una, que recibe monedas de $1, $2, $5 y $10 pesos. Supongamos que la mquina funciona bajo los siguientes supuestos: El costo de las golosinas puede cubrirse con cualquier combinacin de monedas aceptables, La mquina slo da cambio en monedas de $1 peso, las cuales estn almacenadas en una alcanca. Si no puede dar cambio, es decir, si el contenido de la alcanca no es suficiente, regresa la moneda insertada, y slo se puede insertar monedas en orden inverso a su denominacin. Codifiquemos el funcionamiento de la mquina con los conjuntos siguientes: Monedas a insertarse:

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN Respuestas de la mquina:

Estados de la mquina:

Depsito en la alcanca:

La mquina de Mealy que modela el funcionamiento de la mquina expendedora tiene como alfabeto de entrada el producto cartesiano del conjunto de monedas aceptables con el conjunto que codifica a los depsitos de la alcanca. Hay pues 5 x 7 = 35 smbolos de entrada . El alfabeto de salida est dado por las 4 posibles respuestas que da la mquina expendedora. Hay 1+6+2+3=12 estados. A grandes rasgos las transiciones se definen como se muestra en las tablas (3.1) y (3.2).
Tabla 3.1: Transiciones y repuestas de la mquina expendedora.

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

si se inserta una moneda de $10 pesos y no hay cambio suficiente, se devuelve la moneda y se reinicia el proceso, ya que lo hay, procdase a dar cambio, para P=pj, cualquiera que sea j, continese devolviendo un peso hasta completar el cambio. Obsrvese que aqu, en principio, puede haber combinaciones (ak,pj) contradictorias. Sin embargo, la interpretacin que se est construyendo excluye que aparezcan esas inconsistencias. al terminar de dar el cambio, se entrega la golosina y se reinicia el proceso.

Tabla 3.2: Transiciones y repuestas de la mquina expendedora (cont).

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

si se inserta una moneda de $5 pesos y no hay cambio, se devuelve la moneda y se reinicia el proceso, si hay monedas en la alcanca, i.e. , entonces se da el peso de cambio, se insertan $2 pesos y se espera a completar el importe de $4 pesos, habindose completado el costo de la golosina, se lo entrega y se reinicia el proceso, se inserta un peso ms y hay que esperar a que llegue el ltimo, si llega una moneda con denominacin mayor M=m5,m10 entonces se la devuelve y se contina la espera, si se inicia el pago con una moneda de un peso hya que esperar los otros tres pesos,

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

se contina el pago, recibiendo un peso a la vez. Aqu c0=a0. Si se recibe monedas de mayor denominacin, se develve stas. cualquier otra posibilidad (Estado,Entrada) es inconsistente e inalcanzable en la mquina.

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

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

Donde:

1.- 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 qQ, y recibe una literal de entrada e Ent, entonces transita al nuevo estado p = tran (q, e) y emite el smbolo de salida s = res (p). Ejemplos 1. Congruencias mdulo 3: Supongamos que se da un nmero n N 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). Figura 3.3: Mquina de Moore para calcular congruencias mdulo 3 de nmeros dados en binario.

10

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

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

Por induccin en la longitud n de cualquier palabra , que sea la representacin en binario de un nmero 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 n-1, se tiene como respuesta final i, donde y x es el nmero representado en binario por . Para nmero representado por la concatenacin de con s, 2x+s, el cual es congruente mdulo 3 con tabular estos ltimos valores se tiene el es . Al

Lo que corresponde naturalmente a la tabla de transiciones del autmata construido. De hecho, ste es un caso particular del siguiente ejemplo ms general: Sea n>1 una base de representacin de nmeros naturales y sea
11

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN k>0 un nmero natural. Sea tal que: la mquina de Moore

posee n smbolos de entrada

posee k estados , y k smbolos de salida, uno por cada estado. tiene como transicin a la funcin y tiene como respuesta . ,

Entonces calcula el residuo mdulo k de cualquier nmero en base n. En la tabla (3.3) presentamos las tablas de transicin de las mquinas k=5,7,13. , para

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

12

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

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:

13

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN Li Vi Mi1i2 : : llnese el i-simo bote, 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 botes. Sean pues

Las transiciones quedan caracterizadas de la siguiente forma:

La respuesta es la funcin res: x x1 + x2.

14

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

COMPARACIN ENTRE EL AUTMATA DE MOORE Y MEALY

Sea una mquina, ya sea de Mealy o de Moore. Extendemos la funcin de transicin a una funcin para cada estado : , haciendo,

As pues, para cada palabra , es el estado al que se llega cuando, a partir del estado q, se va aplicando, uno a uno, cada uno de los smbolos de , de izquierda a derecha. De manera similar se puede extender la funcin de respuesta a todo el diccionario . Si M es una mquina de Mealy, definimos para cada estado donde, , haciendo, ,

y para cada palabra

En otras palabras, se tiene

15

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

Si M es una mquina de Moore, la funcin de respuesta depende nicamente del estado visitado: para cada estado

En cualquier caso, sea en mquinas de Mealy o de Moore, la funcin , donde q0 es el estado inicial, es la funcin de traduccin que realiza la mquina. Por las semnticas procedimentales introducidas, se tiene que : . ,

Dos mquinas M y N se dicen ser equivalentes,

si . En otras palabras, dos mquinas son equivalentes si ambas traducen de idntica manera a cualquier palabra de entrada. Ya que las mquinas de Moore son casos particulares de las mquinas de Mealy, se tiene que toda mquina de Moore es equivalente a una de Mealy. Veamos que el recproco tambin se cumple: Proposicin 1.1 Toda mquina de Mealy es equivalente a una de Moore: Para cada mquina de Mealy existe una mquina de Moore tal que En mquina realicemos construccin: efecto, dada una de Mealy , la siguiente

16

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN Estados: sea . Se desdobla cada estado ''viejo'' ``nuevos'' de la forma (q,t), ; en estados

transicin: Sea , donde tran y res son las funciones de transicin y de respuesta ``viejas''; Respuesta: sea Estado inicial: Sea . de Moore ;y

Se ve directamente que la mquina construida es equivalente a la de Mealy dada.

Ejemplo Consideremos la mquina de Mealy del ejemplo 2. anterior que ``reconoce a repeticiones finales de un mismo smbolo en transicin y respuesta, ''. Ah, la mquina tiene

17

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN La mquina de Moore equivalente consiste de 7=1+6 estados transicin y respuesta son y sus correspondientes

Observamos aqu que los estados no aparecen en la imagen de la funcin de transicin nueva. Por tanto, los restantes cuatro estados, junto con el inicial, definen una mquina de Moore de 5 estados equivalente a la mquina de Mealy dada. En lo que resta de esta seccin, consideraremos nicamente mquinas de Moore. Sea una mquina de Moore. Se dice que es una mquina-(n,m,k) si es el nmero

de estados,

es el nmero de smbolos de

entrada y es el nmero de smbolos de salida, que son efectivamente asumidos bajo la funcin de respuesta res. Sea la funcin que, para un estado q y una palabra , da el ltimo smbolo de respuesta cuando se aplica a partir de q. Diremos que dos estados q1, q2 son indistinguibles, , si para cualquier

palabra se tiene . Intuitivamente, dos estados son indistinguibles si no se los puede distinguir mediante una sucesin de estmulos, pues ambos estados ofrecen mismas respuestas ante mismas entradas. Los
18

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN estados son distinguibles si para alguna palabra , y en tal caso, se dice que se tiene

los distingue.

Proposicin 1.2 Cualesquiera dos estados distinguibles en una mquina-(n,m,k) lo son mediante una palabra de longitud a lo sumo n-k. En efecto, para cada sea Ii el conjunto de parejas de estados que no pueden ser distinguidos por palabras de longitud i,

Ii es una relacin de equivalencia. Sea

el ndice de la es

relacin Ii. Ya que la sucesin de relaciones decreciente, o sea,

Se tiene que la correspondiente sucesin de ndices es creciente, (5) Naturalmente, ndice de la relacin `` , donde es el

''. Por tanto, necesariamente,

, y, de hecho, . De aqu puede verse que las desigualdades intermedias en la serie de relaciones 3.1 son estrictas, es decir

19

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN y, en particular, nmero de relaciones la forma Ii est por la desigualdad , quod demonstratum. . Por tanto, el distintas de mayorizado erat

La proposicin anterior proporciona un algoritmo elemental para calcular, de manera exhaustiva, al cociente : 1. Sean , y las cardinalidades de los conjuntos de smbolos de entrada, estados y smbolos de salida asumidos.

2.

Sea . la

el

nmero

de

palabras

de

longitud a lo ms 3. Frmese .

matriz

tal

que

4. Dos estados son indistinguibles entre s si los correspondientes vectores columnas en F coinciden. Ejemplo. Residuos mdulo 4: Una mquina que reconoce nmeros binarios congruentes con 2 o con 4, mdulo 4, se muestra en la figura (3.4). Figura 3.4: Reconocedor congruentes con 2 o 4 mdulo 4. de nmeros binarios

20

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

Se

tiene

, La tabla

y para

, luego k=24-2+1-1=7. reconocer estados indistinguibles queda:

Por tanto, las parejas de estados indistinguibles entre s.

constan

21

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN Se ve directamente que la relacin `` '' es de equivalencia en el conjunto de estados Q. Por tanto, el cociente es una particin de Q. Ms an, si dos estados son indistinguibles, lo son tambin los estados a los que transitan bajo cualquier estmulo,

En otras palabras, la nocin de indistinguibilidad es congruente con las transiciones de la mquina . Observacin 1.1 El espacio cociente puede ser dotado de una estructura de mquina de Moore. En efecto, la construccin es la siguiente: Estados: Clases de equivalencia Transicin: , o sea, la clase de indistinguibilidad de q transita, bajo e a la clase del estado al que transita q. Esta definicin tiene sentido pues la indistinguibilidad es congruente con las transiciones, Respuesta: , la cual funcin tambin est bien definida, y Estado inicial: , es decir, el nuevo estado inicial es la clase de equivalencia del estado inicial original. En esta clase estn incluidos todos los estados indistinguibles respecto a q0.
22

, con

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN As por ejemplo, la mquina cociente del ltimo ejemplo es la siguiente:

Observacin 1.2 La mquina cociente tiene un nmero de estados que no excede al de la mquina dada. De hecho, si hubiera una pareja de estados indistinguibles entonces el nmero de estados de la mquina cociente es estrictamente menor. Adems, la mquina cociente es equivalente a la mquina dada. En efecto, veamos que para todo ,

. Para

se tiene

Ahora, para se tiene

, al suponer que

23