UniversidaddeLosAndes

Automatizacin
UnidadITema4

Autmatas

Autmatas(Finite State Machine)

La notacin f ( x , g ) = z , significa que si el autmata est en el estado x , y ocurre el evento g , el autmata
realiza una transicin instantnea al estado z .
La causa del evento g es irrelevante, puede ser una entrada externa a el sistema modelado por el autmata, o
podra ser un evento espontneamente generado por el sistema.
Tres observaciones derivadas del ejemplo.

Un evento puede ocurrir sin que se produzca un cambio de estado, como en f ( x , a ) = x.

Dos eventos pueden ocurrir en un mismo estado causando la misma transicin como en
f ( z , a ) = f ( z , g ) = y.

parcial sobre el dominio X x E , es decir, no es necesario definir una transicin

La funcin f es una funcin p
para cada evento del conjunto E en cada estado de X.
Por ejemplo las transiciones f ( x , b ) y f ( y , g ) no estn definidas .

Dr.EladioDapenaGonzalez

SistemasDiscretosTema4

Autmatas

Autmatas(Finite State Machine)

Dos cosas adicionales son requeridas para completar la definicin de autmata.
Un estado inicial denotado por x0 y representado en el grafo por el arco en verde.
Un subconjunto Xm del conjunto X, que representa los estados de X que son marcados.
Los estados son marcados cuando, se desea darles un especial significado, tambin son referidos como
estados aceptados o estados finales.

DefinicindeAutmatasDeterminados
Un autmata determinado denotado por G, es una sextupla
G = ( X , E , f , , X0 , Xm )
donde
X
es un conjunto de estados.
E
es un conjunto finito de eventos asociados a las transiciones.
f:XxEX
es la funcin de transicin de estados.
:X 2E es la funcin de activacin de eventos. (derivada de f)
X0
es el estado inicial
X m X es el conjunto de estados marcados.
Dr.EladioDapena Gonzalez

Dr.EladioDapenaG.

SistemasDiscretosTema4

UniversidaddeLosAndes
Automatizacin
UnidadITema4

Autmatas

DefinicindeAutmatasDeterminados
Ejemplo 4.3 . Sea el lenguaje L2 = a*
Definicin del autmata
X
{0}
E
{a}
f: X x E X
f(0,a) = 0.
X0
0
Xm X
0
L2 = { , a, aa, aaa,. }

Figura4.3DiagramadetransicinlenguajeL2

Ejemplo 4.4 . Sea el lenguaje L3 = (ab)*

D fi i i del
Definicin
d l autmata
t t
a

X
{0,1}
E
{a, b}
f: X x E X
f(0,a) = 1 f(1,b) = 0
X0
0
Xm X
0
L3 = {, ab, abab, ababab, ., }
Dr.EladioDapena Gonzalez

0
b

Figura4.4DiagramadetransicinlenguajeL3

SistemasDiscretosTema4

Autmatas

DefinicindeAutmatasDeterminados
Ejemplo 4.5 . Sea el lenguaje L4 = (a+b)g*
Definicin del autmata
X
{0,1}
E
{a, b, g}
f: X x E X
f(0,a)=1
f(0,b)=1
X0
0
Xm X
1
L4 = {a, b, ag, bg, agg, bgg, , }

Ejemplo 4.6 . Sea el lenguaje

a,b

f(1,g)=1
Figura4.5DiagramadetransicinlenguajeL4

L5 = (ab)*+g

D fi i i del
Definicin
d l autmata
t t
2
X
{0,1,2,3}
E
{a, b, g}
f: X x E X
f(0,a)=1
f(0,b)=1
X0
0
Xm X
2,3
L5 = {,g ab,abab,ababab,.}
Dr.EladioDapena Gonzalez

Dr.EladioDapenaG.

g
f(0,g)=2

Figura4.6DiagramadetransicinlenguajeL5

SistemasDiscretosTema4

10

UniversidaddeLosAndes
Automatizacin
UnidadITema4

Autmatas

Operacionesconautmatas
Complemento
1. Completar la funcin de transicin de G.
Formalmente
f(x,e) Si e G(x)
Ftot(x,e)=
xd

otrocaso

2. CambiarelestatusdemarcadodetodoslosestadosenGcomp,haciendomarcadoslosestadosnomarcados
deG ynomarcadoslosestadosmarcadosdeG.

Dr.EladioDapena Gonzalez

SistemasDiscretosTema4

21

Autmatas

Operacionesconautmatas
Ejemplo 4.10 Considere el autmata de la figura 4.12 y las operaciones CoAc, Trim y Comp.
G

1
a
b

5
b

3
a

g
2

a
a

a
b

g
2

Figura4.12DiagramadetransicinautmataG

Figura4.13CoAc(G)

2
Figura4.14Trim(CoAc(G))

abg
a,b,g

a,g

b
a,b
g
2

b,g

Figura4.15Comp(Trim(CoAc(G)))
Dr.EladioDapena Gonzalez

Dr.EladioDapenaG.

SistemasDiscretosTema4

22

11

UniversidaddeLosAndes
Automatizacin
UnidadITema4

Autmatas

Operacionesconautmatas
Composicin Paralela
Sean los autmatas
G1= ( X1, E1, f1, 1, x01, Xm1 ) y G2= ( X2, E2, f2, 2, x02, Xm2 )
La composicin paralela de G1 y G2 es un autmata como:
G1 || G2 := Ac( X1 x X2, E1 E2, f, 1 || 2 , ( x01 , x02 ), Xm1 x Xm2 )
Donde

f((x1,x2),e) =

( f1(x1,e), f2(x2,e) )
( f1((x1,e),x2) )
( f2(x1,(x2,e)) )
No definida

Dr.EladioDapena Gonzalez

Si e 1 (x1) 2 (x2)
Si e 1 (x1) \ E2
Si e 2 (x2) \ E1
otros casos

SistemasDiscretosTema4

27

Autmatas

Operacionesconautmatas
Composicin Paralela
En la composicin
p
paralela, un evento comn en E1 E2, solamente p
p
puede ser p
procesado si ambos
autmatas lo ejecutan simultneamente. Es decir los autmatas son sincronizados sobre los eventos
comunes. Los eventos privados en ( E2 \ E1 ) ( E1 \ E2 ), no estn sujetos a ninguna restriccin y pueden ser
procesados cada vez que suceden. En este tipo de interconexin, un componente puede ejecutar sus eventos
privados sin la participacin del otro componente, sin embargo un evento comn slo puede ocurrir si
ambos componentes lo ejecutan.
Si E1 = E2, entonces la composicin paralela se reduce al producto y todas las transiciones deben ser
sincronizadas. Si E1 E2 = , entonces no existen transiciones sincronizadas y G1 || G2 es el comportamiento
concurrente de G1 y G2.

Dr.EladioDapena Gonzalez

Dr.EladioDapenaG.

SistemasDiscretosTema4

28

14

UniversidaddeLosAndes
Automatizacin
UnidadITema4

Autmatas

Operacionesconautmatas
Ejercicio : Sistema de colas
Un sistema de cola es una importante
p
clase de DES. En un sistema de cola simple,
p los clientes llagan
g
solicitando un servicio, si el servidor est ocupado ellos esperan en la cola. Cuando el cliente completa el
servicio es despachado del sistema y un nuevo cliente entra a utilizar el servidor.
1. Parte I
Identifique el conjunto de eventos.
Defina el conjunto de estados para el sistema.
Defina la funcin de transicin de estados.
Obtenga el diagrama de estados.
2. Parte II
Considere el mismo sistema de cola de la parte I, pero en este caso construya el modelo centrado
en el funcionamiento del servidor.
servidor

Tarea4.3
ResolverPartesIyII

Dr.EladioDapena Gonzalez

35

Autmatas

Operacionesconautmatas
Ejercicio : Cena de Filsofos
Una situacin frecuente en DES es q
que diferentes usuarios comparten
p
un recursos comunes. Este ejemplo
j p
asume la historia tradicional de la cena de los filsofos que por simplicidad asumimos slo la cena con dos
filsofos.
Los filsofos estn sentados en una mesa redonda donde hay dos platos de comida y dos tenedores. El
comportamiento de los filsofos es como sigue.
El filsofo puede estar en uno de dos estados posibles Pensando o Comiendo.
Para cambiar del estado Pensar al estado Comiendo, el filsofo debe agarrar ambos tenedores.
Una vez que termina de comer coloca ambos tenedores sobre la mesa y pasa al estado pensar.

t1
F1

F2
t2

Dr.EladioDapena Gonzalez

Dr.EladioDapenaG.

36

18