Máquinas Secuenciales, Autómatas

y Lenguajes Formales

Tema 6: Máquinas Secuenciales
Máquinas de Mealy y Moore



Luis Peña
Universidad Rey Juan Carlos
Teoría de Autómatas y Lenguajes Formales
Curso 2012-2013 2
Sumario
 Tema 6: “Máquinas Secuenciales”.

1. Definición
2. Máquina de Mealy
3. Máquina de Moore
4. Extensión de Mealy y Moore
5. Equivalencias entre Máquinas Secuenciales
6. Mealy Moore
Máquina Secuencial (descripción)
 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:
 Máquina de Mealy
 Máquina de Moore

Universidad Rey Juan Carlos
Teoría de Autómatas y Lenguajes Formales
Curso 2012-2013 3
M.S.
f
lee
x
escribe
f(x)
Máquina de Mealy (descripción)
 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 función de transición entre
estados
 g:Q x E
E
 E
S
, es una función de salida
4 Universidad Rey Juan Carlos
Teoría de Autómatas y Lenguajes Formales
Curso 2012-2013
Máquina de Mealy (descripción)
 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
Teoría de Autómatas y Lenguajes Formales
Curso 2012-2013
Máquina de Moore (descripción)
 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 función de transición entre
estados
 g:Q  E
S
, es una función de salida
6 Universidad Rey Juan Carlos
Teoría de Autómatas y Lenguajes Formales
Curso 2012-2013
Sólo depende del estado en
el que me encuentre
Máquina de Moore (descripción)
 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
Teoría de Autómatas y Lenguajes Formales
Curso 2012-2013
Mealy – Moore (diferencia)
 Mealy supone velocidad de procesamiento
infinita. La máquina genera una salida
inmediatamente tras recibir una entrada.
 Moore supone una velocidad finita ya que la
salida se produce únicamente cuando la
máquina se encuentre en un estado tras realizar
las transición
Universidad Rey Juan Carlos
Teoría de Autómatas y Lenguajes Formales
Curso 2012-2013 8
Máquinas Secuenciales: Representaciones
 Tablas de transición y salida: similares a las de
los AFD.

Universidad Rey Juan Carlos
Teoría de Autómatas 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
Máquinas Secuenciales: Representaciones
 Tablas únicas de transición y salida: similares a
las de los AFD. Mezcla las dos anteriores en
una

Universidad Rey Juan Carlos
Teoría de Autómatas 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
Máquinas Secuenciales: Representaciones
 Diagramas de transición

Universidad Rey Juan Carlos
Teoría de Autómatas 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
Extensión a palabra de entrada y salida
 Extensión de Mealy
 La función f se extiende redefiniendo de la siguiente
manera:


 Además



 Donde λ es la palabra vacía.


Universidad Rey Juan Carlos
Teoría de Autómatas 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 ¬ =
, ) , (
, , ), ), , ( ( ) , (
*
ì
Extensión a palabra de entrada y salida
 Extensión de Mealy (cont.)
 La función g se extiende redefiniendo de la siguiente
manera:


 Además



 Donde λ es la palabra vacía.


Universidad Rey Juan Carlos
Teoría de Autómatas 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 ¬ · =
, ) , (
, , ), ), , ( ( ) , ( ) , (
*
ì ì
Extensión a palabra de entrada y salida
 Extensión de Moore
 Las funciones f y g se redefinen como en el caso de las
Máquinas de Mealy.
 Pero se añade una nueva función g’ definida como:


 Tal que:





Universidad Rey Juan Carlos
Teoría de Autómatas 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 ¬ · =
, ) , ( '
, , ), ), , ( ( ' ) ( ) , ( '
*
ì ì
Función Respuesta de una M.S.
 Con el fin de unificar los dos tipos de máquinas.
 Definimos la función respuesta:




 Cumpliendo las siguientes propiedades.
Universidad Rey Juan Carlos
Teoría de Autómatas 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 Máquinas Secuenciales
 Equivalencia de Estados:
 Dos estados q y p son equivalentes qEp sii:


Ejemplo:

Universidad Rey Juan Carlos
Teoría de Autómatas 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 Máquinas 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
Teoría de Autómatas 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 Máquinas Secuenciales
 Dos máquinas de estados M1 y M2 son
equivalentes sii:

todos los estados de M1 y M2 son equivalentes
Universidad Rey Juan Carlos
Teoría de Autómatas y Lenguajes Formales
Curso 2012-2013 18
pEq M q M p
qEp M p M q
/ ,
además, y , / ,
1 2
2 1
e - e ¬
e - e ¬
Equivalencias en Máquinas Secuenciales
 Calculo del conjunto cociente de M (Q
E
):

Universidad Rey Juan Carlos
Teoría de Autómatas 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 Máquinas Secuenciales
 Minimización de una máquina secuencial M:

Universidad Rey Juan Carlos
Teoría de Autómatas 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 función la es '
/ ), , ( ) , ( '
/ ' , / ' ) , ( , si , ' ) , ( '
/ '
) ' , ' , ' , ' , , ( '
' mínima e equivalent secuencial máquina 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
Teoría de Autómatas 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 máquina La
) , , , , , ( Sea
0
0
Equivalencias entre Mealy y Moore
 Moore Mealy

Universidad Rey Juan Carlos
Teoría de Autómatas 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 máquina La
) , , , , , ( Sea
0
0