Investigacin N 2 Investiga sobre la mquina secuencial de Mealy, que procedi histricamente a los autmatas finitos.

a) Cmo se identifica una quntupla? Es un autmata finito determinista y como tal presenta las siguientes caractersticas: Un conjunto finito de estados y un conjunto de transiciones de estado a estado, que se dan sobre smbolos de entrada tomados de un alfabeto S. Para cada smbolo de entrada existe exactamente una transicin a partir de cada estado (posiblemente de regreso al mismo estado). Un estado, por lo general denotado como q0 es el estado inicial, en el que el autmata comienza. es un conjunto finito de estados. un alfabeto de entrada finito. el estado inicial. . Funcin de transicin. el conjunto de estados finales o de aceptacin.

a) Cmo se describe este autmata? Una mquina de Mealy es una 6-tupla, (S, S0, , , T, G), consistiendo en un conjunto finito de estados (S) un estado inicial S0 el cual es un elemento de (S) un conjunto finito llamado el alfabeto entrada () un conjunto finito llamado el alfabeto salida () una funcin de transiciones (T : S S) una funcin de salida (G : S )

Una mquina de Mealy es una estructura de la forma

Donde

b) Dnde se encuentra su aplicacin esta mquina?

La semntica procedimental de la mquina de Mealy 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 literal de entrada , entonces emite el smbolo de salida , y recibe una y

transita al nuevo estado . Grficamente, representamos esto de la siguiente manera:

q0 es el estado inicial.

Si se est en q y llega e entonces se emite a .

y se transita

Ejemplos 1. Residuos mdulo 4: Si entonces es la representacin unaria de n. 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).
Figure 3.1: Mquina de Mealy para el

clculo de residuos mdulo 4 en representacin unaria.

Esta mquina es donde las funciones tran y res estn dadas como sendas tablas en la figura (3.1-b). 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).
Figure 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 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:

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 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).
Table 3.1: Transiciones y repuestas de la mquina expendedora. 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.

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

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

a) Cul es su representacin en forma de tablas?

b) Cul es su representacin en diagramas de estados?