Mealy y Moore

Molina Palmeros Andrs.
MC: Jos ngel Toledo lvarez

INSTITUTO TECNOLGICO DE MINATITLN
AUTMATA DE MEALY
Una Mquina de Mealy (o Transductor de estados
fnito) tambin es un autmata fnito pero que genera una
salida. Es defnido por una 6tupla!
"onde!
! Es el con#unto fnito de estados.
! Es el al$abeto de entrada.
! Es el al$abeto de salida.
! Un estado (elemento de ) distinguible
en el cual inicia la computacin.
! Es la $uncin de transicin
! Es la $uncin de
salida.
%otemos que no se &a defnido alg'n con#unto de
estados de salida( puesto que la $uncin de este tipo de
mquinas( responde con una cadena de salida ante los
s)mbolos de entrada y los estados correspondientes( de
esta manera todos los estados son estados fnales 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 *alor de cada
clula en el subespacio defnido y al terminar de leer(
genere ciertas palabras. +or e#emplo!
,ea la mquina de Mealy defnida como sigue!
( done cada elemento es defnido as)!

1
!
!

!
:
En la descripcin del e#emplo anterior( las $unciones y
se describen como tercias( en donde el tercer elemento de
cada triada es el resultado de la $uncin aplicada a los dos
primeros elementos de la tercia en ese orden. El diagrama
de transiciones entre los estados se muestra en la fgura - (
donde los s)mbolos del al$abeto de entrada se muestran
en las etiquetas de las .ec&as en color negro en la parte
i/quierda de la etiqueta( y los s)mbolos del al$abeto de
salida se muestran en el lado derec&o de la etiqueta de
cada liga en color ro#o -
Figura 1: "iagrama de transicin de estados de la
mquina de Mealy del e#emplo - .
0l desarrollar el $uncionamiento de esta mquina( nos
podemos dar cuenta de que la $uncin de salida de*uel*e
un - 'nicamente cuando se proporciona como entrada una
cadena binaria del tipo -(1--)2( donde la palabra generada
por es del tipo 1(11-)2 dndonos la oportunidad de
2
!
!
*erifcar el 'ltimo carcter para determinar alguna accin!
si el 'ltimo carcter es -( entonces se reali/a tal( de otra
manera no se reali/a.
1.- Residuos Modulo 4: 0centuacin presentaremos
una mquina que calcula el residuo mdulo 3( de una
cadena de -4s( cuando se *e a esa cadena como la
representacin unaria de un n'mero nonegati*o.
5epresentamos grfcamente a la mquina en la fgura (6.-
a).
Figura 3.1: Mquina de Mealy para el clculo de residuos
mdulo 3 en representacin unaria.
3
Esta mquina es
donde las $unciones
tran y res estn dadas como sendas tablas en la fgura (6.-
b). 0qu) se puede con$undir el con#unto de estados con el
al$abeto de salida de manera muy natural! el isimo estado
es un isimo s)mbolo de salida.
2. Repeticin fnal de un mismo smbolo:
7onstruyamos una mquina de Mealy que recono/ca a las
palabras en (12-) que terminan con la repeticin de un
mismo s)mbolo. Es decir( que recono/ca a palabras en el
al$abeto 89(12-):(112--). ;rfcamente( presentamos a la
mquina en la fgura (6.<).
Figura 3.2: Mquina de Mealy para
reconocer palabras que terminan con un s)mbolo
repetido.
8a interpretacin de cada estado es natural!
4
,e tiene una respuesta afrmati*a cundo se permanece en
un mismo estado. 8as componentes de la mquina son pues
y
3. Mquina expendedora de olosinas: 7onsideremos
una mquina e=pendedora de golosinas( de >3 pesos cada
una( que recibe monedas de >-( ><( >? y >-1 pesos.
,upongamos que la mquina $unciona ba#o los siguientes
supuestos!
El costo de las golosinas puede cubrirse con cualquier
combinacin de monedas aceptables(
8a mquina slo da cambio en monedas de >- peso(
las cuales estn almacenadas en una alcanc)a. ,i no puede
dar cambio( es decir( si el contenido de la alcanc)a no es
sufciente( regresa la moneda insertada( y slo se puede
insertar monedas en orden in*erso a su denominacin.
7odifquemos el $uncionamiento de la mquina con los
con#untos siguientes!
Monedas a insertarse !
5
5espuestas de la mquina !
Estados de la mquina !
"epsito en la alcanc)a !
8a mquina de Mealy que modela el $uncionamiento
de la mquina e=pendedora tiene como al$abeto de entrada
el producto cartesiano del con#unto de monedas aceptables
con el con#unto que codifca a los depsitos de la alcanc)a.
@ay pues ? = A 9 6? s)mbolos de entrada . El al$abeto
de salida est dado por las 3 posibles respuestas que da la
mquina e=pendedora. @ay -262<269-< estados. 0
grandes rasgos las transiciones se defnen como se muestra
en las tablas (6.-) y (6.<).
Tabla 3.1: Transiciones y re!es"as de la m#$!ina e%endedora.
&
si se inserta una
moneda de >-1 pesos y no
&ay cambio sufciente( se
de*uel*e la moneda y se
reinicia el proceso(
ya que lo &ay(
procdase a dar cambio(
para +9p#( cualquiera
que sea #( contin'ese
de*ol*iendo un peso &asta
completar el cambio.
Bbsr*ese que aqu)( en
principio( puede &aber
combinaciones (aC(p#)
contradictorias. ,in
embargo( la interpretacin
que se est construyendo
e=cluye que apare/can 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 e=pendedora
(cont).
'
si se inserta una moneda
de >? pesos y no &ay cambio(
se de*uel*e la moneda y se
reinicia el proceso(
si &ay monedas en la
alcanc)a( i.e. ( entonces
se da el peso de cambio(
se insertan >< pesos y se
espera a completar el importe
de >3 pesos(
&abindose completado el
costo de la golosina( se lo
entrega y se reinicia el
proceso(
se inserta un peso ms y
&ay que esperar a que llegue
el 'ltimo(
si llega una moneda con
denominacin mayor
M9m?(m-1 entonces se la
de*uel*e y se contin'a la
espera(
si se inicia el pago con
una moneda de un peso &ya
que esperar los otros tres
pesos(
(
se contin'a el pago(
recibiendo un peso a la *e/.
0qu) c19a1. ,i se recibe
monedas de mayor
denominacin( se de*el*e
stas.

cualquier otra posibilidad
(Estado(Entrada) es
inconsistente e inalcan/able en
la mquina.
)
AUTMATA DE MOORE
Una mquina de Moore es similar a una de Mealy(
sal*o en que la respuesta slo depende del estado actual
de la mquina y es independiente de la entrada.
+recisamente( una mquina de Moore es una estructura de
la $orma!
"onde!
1.- !a semntica procedimental de la mquina de
Moore es la siguiente!
0l inicio de cualquier computacin( la mquina se
encuentra en el estado q1. +osteriormente( cuando la
mquina se encuentra en un estado qDE( y recibe una
literal de entrada e D Ent( entonces transita al nue*o estado
p 9 tran (q( e) y emite el s)mbolo de salida s 9 res (p).
E#emplos -. 7ongruencias mdulo 6! ,upongamos que
se da un n'mero n D % en su representacin binaria y se
quiere calcular su residuo mdulo 6. 7onsideremos la
mquina cuya representacin grfca se muestra en la
fgura (6.6).
Figura 3.3: Mquina de Moore para calcular
congruencias mdulo 6 de n'meros dados en binario.
1*
8as $unciones de transicin y de respuesta quedan
especifcadas de manera tabular como sigue!
+or induccin en la longitud n de cualquier palabra
( que sea la representacin en binario de un
n'mero se puede *er que la respuesta fnal obtenida al
aplicar es . En e$ecto( para n9-( con las palabras
414 y 4-4 se tiene las respuestas correctas 1 y -. ,ea nF1.
,upongamos que para una palabra ( de longitud n-( se
tiene como respuesta fnal i( donde y = es el
n'mero representado en binario por . +ara el
n'mero representado por la concatenacin de con s( es
<=2s( el cual es congruente mdulo 6 con . 0l
tabular estos 'ltimos *alores se tiene
8o que corresponde naturalmente a la tabla de
transiciones del autmata construido. "e &ec&o( ste es un
caso particular del siguiente e#emplo ms general! ,ea nF-
una base de representacin de n'meros naturales y sea
11
CF1 un n'mero natural. ,ea la mquina de Moore
tal que!
posee n s)mbolos de entrada (
posee C estados ( y C s)mbolos de
salida( uno por cada estado.
tiene como transicin a la $uncin (
y
tiene como respuesta .
Entonces calcula el residuo mdulo C de
cualquier n'mero en base n. En la tabla (6.6) presentamos
las tablas de transicin de las mquinas ( para
C9?(A(-6.
Tabla 3.3: 7lculo de residuos mdulo ?( A y -6 en
notacin decimal.
12

El lector no &a de tener difcultad en *isuali/ar( a
partir de esos e#emplos( las transiciones de cualquier
mquina .
2.- "roblema de botes: ,upongamos dados CF- botes.
+ara cada ( sea la capacidad( en litros( del isimo
bote. 8os botes pueden ser llenados de agua o bien ser
*aciados de acuerdo con las siguientes reglas!
13
8i ! llnese el isimo bote(
Gi ! *ac)ese el isimo bote(
Mi-i< !
*irtase el contenido del i-
simo bote en el i<simo &asta
que aquel se *ac)e o ste se llene.
,i se considera a los dos primeros botes como
distinguidos( se trata de caracteri/ar a las cantidades de
agua HHconstructibles44 como suma de los contenidos de
esos dos primeros botes. ,ean pues
8as transiciones quedan caracteri/adas de la siguiente
$orma!
8a respuesta es la $uncin res! x x
1
+ x
2
.
14
COMPARACIN ENTRE EL
AUTMATA DE MOORE Y MEALY
,ea una mquina( ya sea de
Mealy o de Moore. E=tendemos la $uncin de transicin
a una $uncin ( &aciendo(
para cada estado !
0s) pues( para cada palabra ( es el estado al
que se llega cuando( a partir del estado q( se *a aplicando(
uno a uno( cada uno de los s)mbolos de ( de i/quierda a
derec&a. "e manera similar se puede e=tender la $uncin
de respuesta a todo el diccionario . ,i M es una
mquina de Mealy( defnimos ( &aciendo(
para cada estado y para cada palabra (
donde(
En otras palabras( se tiene
15
,i M es una mquina de Moore( la $uncin de respuesta
depende 'nicamente del estado *isitado!
para cada estado
En cualquier caso( sea en mquinas de Mealy o de
Moore( la $uncin ( donde q1 es el estado
inicial( es la $uncin de traduccin que reali/a la mquina.
+or las semnticas procedimentales introducidas( se tiene
que ! .
"os mquinas M y % se dicen ser equi#alentes( (
si . En otras palabras( dos mquinas son
equi*alentes si ambas traducen de idntica manera a
cualquier palabra de entrada. Ia que las mquinas de
Moore son casos particulares de las mquinas de Mealy( se
tiene que toda mquina de Moore es equi*alente a una de
Mealy. Geamos que el rec)proco tambin se cumple!
+roposicin -.- Toda
mquina de Mealy es equi*alente
a una
de Moore! +ara cada mquina
de Mealy e=iste una mquina de Moore tal que
En e$ecto( dada una
mquina de Mealy (
realicemos la siguiente
construccin!
$stados:
1&
sea . ,e desdobla cada estado
44*ie#o44 en estados
HHnue*os44 de la $orma (q(t)( J
transicin:
,ea ( donde tran y res son
las $unciones de transicin y de respuesta HH*ie#as44J
Respuesta:
sea J y
$stado inicial:
,ea .
,e *e directamente que la mquina de Moore
construida es equi*alente a la de Mealy dada.
E#emplo 7onsideremos la mquina de Mealy del
e#emplo <. anterior que HHreconoce a repeticiones fnales de
un mismo s)mbolo en 44. 0&)( la mquina tiene
transicin y respuesta(
1'
8a mquina de Moore equi*alente consiste de A9-26
estados y sus correspondientes
transicin y respuesta son
Bbser*amos aqu) que los estados no
aparecen en la imagen de la $uncin de transicin nue*a.
+or tanto( los restantes cuatro estados( #unto con el inicial(
defnen una mquina de Moore de ? estados equi*alente a
la mquina de Mealy dada.
En lo que resta de esta seccin( consideraremos
'nicamente mquinas de Moore. ,ea
una mquina de Moore. ,e dice
que es una mquina-(n(m(C) si es el n'mero
de estados( es el n'mero de s)mbolos de
entrada y es el n'mero de s)mbolos de salida(
que son e$ecti*amente asumidos ba#o la $uncin de
respuesta res. ,ea la $uncin que( para un
estado q y una palabra ( da el 'ltimo s)mbolo de respuesta
cuando se aplica a partir de q. "iremos que dos estados
q-( q< son indistinuibles( ( si para cualquier
palabra se tiene . Kntuiti*amente( dos
estados son indistinguibles si no se los puede distinguir
mediante una sucesin de est)mulos( pues ambos estados
o$recen mismas respuestas ante mismas entradas. 8os
1(
estados son distinuibles si para alguna palabra se tiene
( y en tal caso( se dice que los distinue.
+roposicin -.< 7ualesquiera dos estados
distinguibles en una mquina(n(m(C) lo son mediante una
palabra de longitud a lo sumo nC.
En e$ecto( para cada sea Ki el con#unto de pare#as
de estados que no pueden ser distinguidos por palabras de
longitud i(
Ki es una relacin de equi*alencia. ,ea el )ndice de la
relacin Ki. Ia que la sucesin de relaciones es
decreciente( o sea(
,e tiene que la correspondiente sucesin de )ndices
es creciente(

(?)
%aturalmente( ( donde es el
)ndice de la relacin HH 44. +or tanto( necesariamente(
( y( de &ec&o( . "e aqu) puede
*erse que las desigualdades intermedias en la serie de
relaciones 6.- son estrictas( es decir
1)
y( en particular( . +or tanto( el
n'mero de relaciones distintas de
la $orma Ki est mayori/ado
por la desigualdad ( quod erat
demonstratum.
8a proposicin anterior proporciona un algoritmo
elemental para calcular( de manera e=&austi*a( al cociente
!
-. ,ean ( y las
cardinalidades de los con#untos de s)mbolos de entrada(
estados y s)mbolos de salida asumidos.
<. ,ea el n'mero de palabras de
longitud a lo ms .
6. Lrmese la matri/ tal que
.
3. "os estados son indistinguibles entre s) si los
correspondientes *ectores columnas en L coinciden.
E#emplo. 5esiduos mdulo 3! Una mquina que
reconoce n'meros binarios congruentes con < o con 3(
mdulo 3( se muestra en la fgura (6.3).
Figura 3.4: 5econocedor de n'meros binarios
congruentes con < o 3 mdulo 3.
2*

,e tiene ( y
( luego C9<3<2--9A. 8a tabla para
reconocer estados indistinguibles queda!
+or tanto( las pare#as y constan
de estados indistinguibles entre s).
21
,e *e directamente que la relacin HH 44 es de
equi*alencia en el con#unto de estados E. +or tanto( el
cociente es una particin de E. Ms a'n( si dos
estados son indistinguibles( lo son tambin los estados a los
que transitan ba#o cualquier est)mulo(
En otras palabras( la nocin de indistinguibilidad es
congruente con las transiciones de la mquina .
Bbser*acin -.- El espacio cociente puede ser
dotado de una estructura de mquina de Moore.
En e$ecto( la construccin es la siguiente!
$stados:
7lases de equi*alencia ( con (
%ransicin:
( o sea( la clase de
indistinguibilidad de q transita( ba#o e a la clase del estado
al que transita q. Esta defnicin tiene sentido pues la
indistinguibilidad es congruente con las transiciones(
Respuesta:
( la cual $uncin tambin est bien
defnida( y
$stado inicial:
( es decir( el nue*o estado inicial es la clase
de equi*alencia del estado inicial original. En esta clase
estn incluidos todos los estados indistinguibles respecto a
q1.
22
0s) por e#emplo( la mquina cociente del 'ltimo
e#emplo es la siguiente!
Bbser*acin -.< 8a mquina cociente tiene un
n'mero de estados que no e=cede al de la mquina dada.
"e &ec&o( si &ubiera una pare#a de estados indistinguibles
entonces el n'mero de estados de la mquina cociente es
estrictamente menor. 0dems( la mquina cociente es
equi*alente a la mquina dada.
En e$ecto( *eamos que para todo (
. +ara se tiene
0&ora( para y ( al suponer que (
se tiene
23

Mealy y Moore

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Mealy y Moore

Cargado por

Copyright:

Formatos disponibles

Molina Palmeros Andrs.

MC: Jos ngel Toledo lvarez

También podría gustarte