Documente Academic
Documente Profesional
Documente Cultură
Finito
Maquinas de estado
x y
x y
q0 q1 q2
x
x y
y
q3
q4
x,y
x y
qo q1 q4
q1 q1 q2
q2 q3 q2
q3 q1 q2
q4 q4 q4
Una cadena se acepta, si finaliza en un
estado final. En caso contrario, no.
a b a
a a
qO q1 q2
b
a b
qo {qo, q1} {q2}
q1 {q1}
q2 {q1, q2}
Consideremos el AFN anterior. Se rediseña la
función , como *: P(Q)x P(Q), como
sigue:
*(,a)=*(,b)=; *({qo,q1},a)={qo,q1},
*({qo,q1},b)={q2,q1}, *({qo,q2},a)={qo,q1},
*({qo,q2},b)={q2}, *({q1,q2},a)={q2,q1},
*({q1,q2},b)={q1}, *({qo},a)=({qo,q1},
*({qo},b)={q2}, *({q1},a)= , *({q1},b)={q1},
*({q2},a)={q2,q1},*({q2},b)=,*(Q,a)={qo,q1}
y *(Q, b)={q2,q1}
Elemento de Q’ Elemento de P(E) a b
E0 {qo} E3 E2
E1 {q1} E1
E2 {q2} E5
E3 {qo,q1} E3 E5
E4 {qo,q2} E3 E2
E5 {q2,q1} E5 E1
E6 Q E3 E5
Los estados finales serán E2, E4, E5 y E6,
puesto que son los que contienen a q2.
a
a
a a
E0 E3 E6
b
b
b E4
E2 a E5
b
b a
E1
b a b
a, b
a
a
a a
E0 E3 E6
b
b
b E4
E2 a E5
b
b a
E1
b a b
a, b
a
a
E0 E3
b b
E2 a E5
b
b a
E1
a b
a, b
Una máquina de estados finitos es un
autómata finito, en el cual no existen estados
finales y los símbolos de entrada se colocan
junto con los símbolos de salida. Es decir,
una máquina de estados finitos es una 5-upla
M = {Q, E, S, qo, ,) donde:
Q es el conjunto finito de estados. qo estado inicial.
E es el conjunto finito de entradas.
S es el conjunto finito de salidas.
: QxE Q función de estado siguiente y la
función de salida, : QxE S.
Una MT consiste en una cinta que se extiende
de manera infinita, en donde se escribe o se
lee información por medio de una cabeza de
lectura/escritura. MT = (Q, , A, qo, b, F,)
donde:Q: conjunto finito de estados.qoQ:
estado inicial. : conjunto de símbolos de
entrada. A: alfabeto de la cinta. b: símbolo
blanco. b A b . F: conjunto de estados
finales. M = {I, D} (conjunto de movimientos
posibles de la cabeza). : función de transición,
de QxA QxAxM.
MT= (Q, , A, qo, b, F,), con Q={qo,q1,q2,q3},
={x,y}, A={x, y, b}, F= {q3}, M = {I, D}
La función de transición definida por:
(qo, x)= (qo, x, D), (qo, y)= (q1, y, D)
(q1, b)= (q2, b, I), (q2, x)= (q2, x, I)
(q2, y)= (q2, y, I), (q2, b)= (q3, b, D)
Usaremos esta MT para decidir si la cadena
xxy es o no aceptada.
(qo, x)= (qo, x, D), (qo, y)= (q1, y, D)
(q1, b)= (q2, b, I), (q2, y)= (q2, y, I),
(q2, x)= (q2, x, I), (q2, b)= (q3, b, D)
b x x y b b x x y b b x x y b
↑ ↑ ↑
qo qo qo
b x x y b b x x y b b x x y b
↑ ↑ ↑
q1 q2 q2
b x x y b b x x y b b x x y b
↑ ↑ ↑
q2 q2 q3
Es la cantidad de recursos necesarios (tiempo
y espacio) para resolver un problema.