Mealy y Moore

Embed Size (px)

Text of Mealy y Moore

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

AUTMATA DE MEALYUna 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 verificar el ltimo carcter para determinar alguna accin:2

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN 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.1-a). Figura 3.1: Mquina de Mealy para el clculo de residuos mdulo 4 en representacin unaria.

Esta

mquina

es donde las funciones3

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN 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:

Se tiene una respuesta afirmativa cundo se permanece en4

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN 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:

Respuestas de la mquina:5

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

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.

6

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).

7

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, 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.8

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN

AUTMATA DE MOOREUna 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.

9

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 sea10

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.

11

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: Li : llnese el i-simo bote,12

Molina Palmeros Andrs. MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN Vi Mi1i2 : vacese el i-simo bote, virtase el contenido del i1: sim