Escolar Documentos
Profissional Documentos
Cultura Documentos
Finito
Matemticas
Discretas
Circuitos secuenciales
Captulo 8:
Circuitos Secuenciales,
Mquinas y Autmatas
de Estado Finito
Maquinas de Estado
Finito
Maquinas de Estado
Finito
Sumador en serie
Xt
Retraso
Retraso
Xt-1
X = 0xnxn-1x0
Y = 0ynyn-1y0
Z = zn+1zn z0
Xt
Yt
Ct-1
Sumador
Sumador
completo
completo
St
Zt
Ct
Retraso
Retraso
El ingreso de dos nmeros de entrada X y Y, tiene una salida Z
3
Maquinas de Estado
Finito
Maquinas de Estado
Finito
Sumador en serie
Definicin:
Una mquina de estado finita M consta de:
St
X0=0
Sumador
Sumador
completo
completo
y0=1
i=0
St
X1=1
z0=1
Sumador
Sumador
completo
completo
y1=1
i=0
Retraso
Retraso
z1=0
1
St
Sumador
Sumador
completo
completo
y2=0
i=1
f ( S, I ) = S
Retraso
Retraso
{ 1, 2}
{ 0, 1}
z2=1
{ a, b, c}
Retraso
Retraso
X2=0
f ( S, I ) = O
Un estado inicial S.
Z = z0z1z2= 101
Escribimos M = (I, O, S , f, g, )
Maquinas de Estado
Finito
Maquinas de Estado
Finito
Cont
Cont
Interpretacin de la Tabla:
f
I
Para M = (I, O, S , f, g, )
g
b
Tabla:
f
I
f(0,a)=0
g(0,a)=0
f(0,b)=1
g(0,a)=1
0 1
f(1,a)=1
g(0,a)=1
1 1
f(1,b)=1
g(0,a)=1
Entonces M = ( I, O, S, f, g, o)
Maquinas de Estado
Finito
Diagramas de transicin
Cont
Constan de:
Definicin:
Sea M = ( I, O, S, f, g, ) una mquina de estado finito. El
diagrama de transicin de M es una digrfica G cuyos vrtices
son los miembros de de S. Una flecha indica el estado Inicial .
Una arista dirigida (1, 2 ) existe en G si existe una entrada i tal
que f(1, i) = 2. En este caso, si g(1, i )=O, la arista (1, 2 ) se
etiqueta i/o.
Maquinas de
Estado Finito
j/1
i/o
i/0
10
Maquinas de
Estado Finito
Cont
Maquinas de
Estado Finito
Cadena de Entrada
Definicin:
f
I
Para M = (I, O, S , f, g, )
f(0,a)=0
g(0,a)=0
f(0,b)=1
g(0,a)=1
f(1,a)=1
g(0,a)=1
f(1,b)=1
g(0,a)=1
a/0
a/1
0
0
b/1
1
1
b/0
Trazamos una arista dirigida de 0 a 1 y la etiquetamos, la parte superior es la entrada y la parte inferior es la salida
11
Maquinas de
Estado Finito
Maquinas de
Estado Finito
Cont
Ejemplo:
(
(
(
f (
,a)=
g ( 0 , a ) = 0
,a)=
0
g ( 0 , a ) = 0
,b)=
g ( 0 , b ) = 1
,a)=
g ( 1 , a ) = 1
I
S
0
1
g
a
0 1
1 1
0
1
1
0
f ( 1 , b ) = 1
g ( 1 , b ) = 0
f ( 1 , b ) = 1
g ( 1 , b ) = 0
f ( 1 , a ) = 1
Salida
Salida
Entrada
Entrada
f
a b
aababba
Entrada
Entrada
a/0
Entrada
o
b/1
b/0
Estado inicial
g ( 1 , a ) = 1
Entrada
Entrada
0 0
Salida
Salida
Salida
a/1
Siguiente
1
Estado
Salida
Salida
1 1 0 0 1
13
14
Maquinas de
Estado Finito
Maquinas de
Estado Finito
Cont
Cont
Ejemplo:
Una mquina de estado finito para el sumador en serie
00/0
11/0
Dada una entrada xy, realizamos una de las dos acciones siguientes:
10/0
sumamos x y y, o
sumamos x, y y 1,
NC
NC
00/1
CC
15
11/1
16
Maquinas de
Estado Finito
Maquinas de
Estado Finito
Cont
Cont
Ejemplo:
flip flop SR
No permitida
1S
0R
00/0
01/0
S fue el ultimo
bit igual a uno
10/1
R fue el ultimo
bit igual a uno
10/1
01/0
17
18
Maquinas de
Estado Finito
Automatas
de estado finito
Cont
Cont
Ejemplo:
S
Solucin.
En una estacin del Metro una mquina distribuye tiquetes sencillos a $600
pesos el tiquete. La mquina acepta monedas de $100, $200, $500, $1000.
Mediante una tabla, describa los diferentes estados de la mquina y la
salida.
19
20
Automatas
de estado finito
Automatas
de estado finito
Cont
Cont
Cont
100
200
500
1000
e0
e0
e1
e2
e5
e6
e0
e1
e1
e2
e3
e6
e6
e1
e2
e2
e3
e4
e6
e6
e2
e3
e3
e4
e5
e6
e6
e3
e4
e4
e5
e6
e6
e6
e4
e5
e5
e6
e6
e6
e6
e5
e6
e6
e6
e6
e6
e6
e0
Cont
En esta tabla por ejemplo, f(e0,500)=e5; lo que quiere decir que
en el tiempo t siguiente la mquina recordar que se le han
introducido $500.
f(e3,200)=e5 , lo que significa que la mquina pasa del estado e3;
al estado e5 ; lo que quiere decir que pasa de "recordar" que se
le habran introducido $300 a "recordar" que se le han
introducido $500.
f(e5,200)=e6 , lo que significa que la mquina pasa de "recordar"
que se le habran introducido $500 a "recordar" que se le han
introducido ms de $600, en este caso, la funcin de salida se
disear para que devuelva $100 al comprador.
Al pulsar el botn, la mquina pasar al estado e0; si el estado
actual es e0 e6.
21
22
Automatas
de estado finito
Automatas
de estado finito
Cont
Cont
Cont
100
200
500
1000
e0
400
e1
500
e2
100
600
e3
200
700
e4
300
800
e5
100
400
900
e6
100
200
500
1000
Cont
En esta tabla, por ejemplo, g(e3,500) = 200, lo que significa
que la mquina pasa de "recordar" que se le haban
introducido $300 a "recordar" $800 y por tanto devuelve
$200. Como f(e3,500)=e6, la mquina pasa al estado e6 y
por ltimo, como g(e6,b)=T recibe el tiquete.
23
B = { n, 100, 200, 300, 400, 500, 600, 700, 800, 900, 1000, T}
Automatas
de estado finito
Automatas
de estado finito
Cont
Ejercicios:
1.
2.
3.
Definicin:
e0
e0
e1
e1
e1
e1
e0
e1
1
25
26
Automatas
de estado finito
Automatas
de estado finito
Cont
Cont
f
I
27
f(0,a)= 1
f(0,b)= 0
f(1,a)= 2
f(1,b)= 0
f(2,a)= 2
f(2,b)= 0
g(0,a)= 1
g(0,b)= 0
g(1,a)= 1
g(1,b)= 0
g(2,a)= 1
g(2,b)= 0
Automatas
Automatas
de estado finito
A=(I,S,f,A,).
I={ a,b }
S={0, 1, 2 }
A = { 2 }: = 0
Cont
b/0
a/1
a/1
Ejemplo:
a/1
0
b/0
a/0
b/0
b/1
a
b
b/0
a/1
b/0
a
0
1
a/0
1
a
a
2
29
30
Automatas
de estado finito
Automatas
de estado finito
Cont
Definicin
Ejemplo:
f
I
b
0
31
b
1
a
32
Automatas
de estado finito
Automatas
de estado finito
Cont
Cont
Ejemplo:
Existe una cadena abaa. Verificar si el autmata de
estado finito mostrado a continuacin acepta esta
cadena.
Ejemplo:
A: Se encontr una a.
NA: No se encontr una a.
a
NA
b
A
33
34
Automatas
de estado finito
Automatas
de estado finito
Cont
Cont
Ejemplo:
Disear un autmata de estado finito que acepte
precisamente aquellas cadenas sobre {a,b} que contengan
un nmero impar de letras a.
b
E
O
a
35
36
Autmatas Equivalente
Automatas
de estado finito
Automatas
de estado finito
Cont
Definicin:
Si dos autmatas de estado finito aceptan precisamente las
mismas cadenas, decimos que los autmatas son
equivalentes.
Podemos verificar
con la cadena abaab
siguientes diagramas son equivalentes:
Ejemplo:
a
NA
que
a
b
0
2
b
37
38
Automatas
de estado finito
Automatas
de estado finito
Cont
Cont
Ejercicios:
Ejercicios:
los
Un nmero par de a.
Al menos dos a.
Exactamente dos a.
Contiene n letras a, donde n es un nmero mltiplo de 3.
39
10
Automatas
de estado finito
Cont
Ejercicios:
41
11