Mquinas Secuenciales, Autmatas

y Lenguajes Formales

Tema 6: Mquinas Secuenciales
Mquinas de Mealy y Moore



Luis Pea
Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 2
Sumario
Tema 6: Mquinas Secuenciales.

1. Definicin
2. Mquina de Mealy
3. Mquina de Moore
4. Extensin de Mealy y Moore
5. Equivalencias entre Mquinas Secuenciales
6. Mealy Moore
Mquina Secuencial (descripcin)
Son un tipo de AFD que dada una palabra de
entrada, producen una palabra de salida.
Tienen un conjunto finito de estados.
Tienen dos cintas asociadas: una de lectura y
otra de escritura
Dos tipos principales:
Mquina de Mealy
Mquina de Moore

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 3
M.S.
f
lee
x
escribe
f(x)
Mquina de Mealy (descripcin)
ME=(Q, E
E
, E
S
, f, g,q
0
)
Q es el conjunto de estados
q
0
es el estado inicial
E
E
, es el alfabeto de entrada
E
S
es el alfabeto de salida
f:Q x E
E
Q, es una funcin de transicin entre
estados
g:Q x E
E
E
S
, es una funcin de salida
4 Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013
Mquina de Mealy (descripcin)
Por ejemplo:
ME=({q
0
,q
1
}, {0,1}, {p,i}, f, g,q
0
)
f(q
0
,0)=q
0
g(q
0
,0)=p

f(q
0
,1)=q
1
g(q
0
,1)=i

f(q
1
,0)=q
1
g(q
1
,0)=i

f(q
1
,1)=q
0
g(q
1
,1)=p


5 Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013
Mquina de Moore (descripcin)
MO=(Q, E
E
, E
S
, f, g,q
0
)
Q es el conjunto de estados
q
0
es el estado inicial
E
E
, es el alfabeto de entrada
E
S
es el alfabeto de salida
f:Q x E
E
Q, es una funcin de transicin entre
estados
g:Q E
S
, es una funcin de salida
6 Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013
Slo depende del estado en
el que me encuentre
Mquina de Moore (descripcin)
Por ejemplo:
MO=({q
0
,q
1
}, {0,1}, {p,i}, f, g,q
0
)
f(q
0
,0)=q
0
g(q
0
)=p

f(q
0
,1)=q
1
f(q
1
,0)=q
1
g(q
1
)=i

f(q
1
,1)=q
0
7 Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013
Mealy Moore (diferencia)
Mealy supone velocidad de procesamiento
infinita. La mquina genera una salida
inmediatamente tras recibir una entrada.
Moore supone una velocidad finita ya que la
salida se produce nicamente cuando la
mquina se encuentre en un estado tras realizar
las transicin
Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 8
Mquinas Secuenciales: Representaciones
Tablas de transicin y salida: similares a las de
los AFD.

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 9
f: Q x E
E
Q
0 1
q
0
q
0
q
1

q
1
q
1
q
0

f: Q x E
E
Q
0 1
q
0
q
0
q
1

q
1
q
1
q
0

g: Q x E
E
E
S

0 1
q
0
p i
q
1
i p
g: Q E
S

0
q
0
p
q
1
i
Mealy: ME Moore: MO
Mquinas Secuenciales: Representaciones
Tablas nicas de transicin y salida: similares a
las de los AFD. Mezcla las dos anteriores en
una

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 10
ME
0 1
q
0
q
0
/ p q
1
/ i
q
1
q
1
/ i q
0
/ p
f: Q x E
E
Q
0 1
q
0
/ p q
0
q
1

q
1
/ i q
1
q
0

Mealy: ME Moore: MO
Mquinas Secuenciales: Representaciones
Diagramas de transicin

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 11
Mealy: ME Moore: MO
q
0
q
1
1/i
1/p
0/i 0/i q
0
/p

q
1
/i

1
1
0 0
Extensin a palabra de entrada y salida
Extensin de Mealy
La funcin f se extiende redefiniendo de la siguiente
manera:


Adems



Donde es la palabra vaca.


Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 12
Q x Q f
E
E
*
:
Q q q q f
x a Q q x a q f f ax q f
E E
e =
E e E e e =
, ) , (
, , ), ), , ( ( ) , (
*

Extensin a palabra de entrada y salida

Extensin de Mealy (cont.)
La funcin g se extiende redefiniendo de la siguiente
manera:


Adems



Donde es la palabra vaca.


Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 13
* *
:
S E
x Q g E E
Q q q g
x a Q q x a q f g a q g ax q g
E E
e =
E e E e e =
, ) , (
, , ), ), , ( ( ) , ( ) , (
*

Extensin a palabra de entrada y salida
Extensin de Moore
Las funciones f y g se redefinen como en el caso de las
Mquinas de Mealy.
Pero se aade una nueva funcin g definida como:


Tal que:





Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 14
* *
: '
S E
x Q g E E
Q q q g
x a Q q x a q f g q g ax q g
E E
e =
E e E e e =
, ) , ( '
, , ), ), , ( ( ' ) ( ) , ( '
*

Funcin Respuesta de una M.S.
Con el fin de unificar los dos tipos de mquinas.
Definimos la funcin respuesta:




Cumpliendo las siguientes propiedades.
Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 15

= E e e
Moore de es si ) , ( '
Mealy de es si ) , (
) , ( , ,
*
x q g
x q g
x q h x Q q
E
*
, ; ) ), , ( ( ) , ( ) , (
) ), , ( ( ) , (
) , (
E
y x Q q y x q f h x q h xy q h
y x q f f xy q f
x x q h
E e e =
=
=
Equivalencias en Mquinas Secuenciales
Equivalencia de Estados:
Dos estados q y p son equivalentes qEp sii:


Ejemplo:

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 16
) , ( ) , ( ,
*
x p h x q h x
E
= E e
) , , }, , , { }, , { }, 1 , 0 ({
3
A g f C B A i p M =
A

B

1/i
1/p
0/i
0/p
C

0/p
1/i
i C g B C f
p C g A C f
p B g A B f
i B g B B f
i A g B A f
p A g C A f
= =
= =
= =
= =
= =
= =
) 1 , ( ) 1 , (
) 0 , ( ) 0 , (
) 1 , ( ) 1 , (
) 0 , ( ) 0 , (
) 1 , ( ) 1 , (
) 0 , ( ) 0 , (
) , ( ) , ( , E x C h x A h C A =
Equivalencias en Mquinas Secuenciales
Equivalencia de longitud n:
Como en el caso de los AFD, dos estados son
equivalentes de longitud n, si son equivalentes para
todas las palabras de longitud n.
Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 17
) , ( ) , ( , | | / sii ,
*
x p h x q h n x x p qE
E n
= = E e
Equivalencias en Mquinas Secuenciales
Dos mquinas de estados M1 y M2 son
equivalentes sii:

todos los estados de M1 y M2 son equivalentes
Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 18
pEq M q M p
qEp M p M q
/ ,
adems, y , / ,
1 2
2 1
e - e
e - e
Equivalencias en Mquinas Secuenciales
Calculo del conjunto cociente de M (Q
E
):

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 19
/ / Devolver
/ / que Hasta
1 :
/ ,
/ , ) , ( , ) , ( ,
y / , Si
,
Repetir
1 :
/ , , ) , ( ) , ( , Si
,
1
1
1
i
i i
i j
i m m m E
i j
i i E
E Q E Q
E Q E Q
i i
E Q c q p
E Q c c a q f c a p f a
E Q c q p
Q q p
i
E Q c c q p a q h a p h a
Q q p
=
=
+ =
e e
e e e E e
e e
e
=
e e = E e
e

+
Equivalencias en Mquinas Secuenciales
Minimizacin de una mquina secuencial M:

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 20
E Q c q Q q c q
h g
E Q c q a q h a c h
E Q c c c a q f c q c a c f
E Q Q
q g f Q M
M
q g f Q M
S E
S E
/ , , '
' a iente correspond funcin la es '
/ ), , ( ) , ( '
/ ' , / ' ) , ( , si , ' ) , ( '
/ '
) ' , ' , ' , ' , , ( '
' mnima e equivalent secuencial mquina La
) , , , , , ( Sea
0 0 0
0
0
e e e =

e e =
e e e =
=
E E =
E E =
Equivalencias entre Mealy y Moore
Mealy Moore

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 21
S
s b s
b b
S E
S E
S E
s q p a q f
b p g Q p
b a Q p q b a q g p a q f
q g f Q MO
MO
q g f Q ME
E e =
= e
E e E e e = =
E E =
E E =
, , ) , ( ' n transici una
y , ) ( ' / ' estado un
: crea Se
, , , / ) , ( , ) , (
: cumpla que salida y n transici cada para Donde
) ' , ' , ' , ' , , (
e equivalent Moore de mquina La
) , , , , , ( Sea
0
0
Equivalencias entre Mealy y Moore
Moore Mealy

Universidad Rey Juan Carlos
Teora de Autmatas y Lenguajes Formales
Curso 2012-2013 22
b a q g
b a Q p q b q g p a q f
q g f Q MO
MO
q g f Q MO
S E
S E
S E
=
E e E e e = =
E E =
E E =
) , ( '
: define Se
, , , / ) ( , ) , (
: cumpla que salida y n transici cada para Donde
) , ' , , , , (
e equivalent Moore de mquina La
) , , , , , ( Sea
0
0