Documentos de Académico
Documentos de Profesional
Documentos de Cultura
EJERCICIO A
TRABAJAR
Autómata pila
Vaciado de pila Estado final
La pila debe quedar La pila no tiene que
vacía quedar necesariamente
vacía
La aceptación es Debe estar
independiente en donde obligatoriamente en un
se encuentre el estado final o de
autómata aceptación.
2 Carácter de entrada
3 Carácter de entrada
4 Carácter de entrada
5 Carácter de entrada
ACTIVIDAD 2
1. Realice el proceso paso a paso la minimización del autómata
Para el autómata ya minimizado realice:
2. Realice la notación formal (caracterización) matemática del autómata ya minimizado
3. Identifique El Lenguaje que reconoce.
4. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe incluir el
diagrama de estados con los componentes de la gramática asociados a las variables y a las
constantes.
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A
TRABAJAR
Para conjunto y
0 1
q0 y y
q1 x y
q3 y y
q5 x x
q6 y y
q7 x y
t 0 1
q1 p t
q7 r m
De acuerdo a la tabla del conjunto t se concluye
que q1 y q7 no son equivalentes por lo tanto, el
conjunto se divide en a y b y de esta manera
quedan conformados todos los grupos.
a ={q1}
b ={q7}
m ={q0,q3}
n ={q6}
P ={q2}
q ={q4}
r ={q8}
u ={q5}
a 0 1
q1 p a
b 0 1
q7 r m
m 0 1
q0,q3 m a
n 0 1
q6 b m
p 0 1
q2 q u
q 0 1
q4 q r
r 0 1
q8 b q
u 0 1
q5 p r
Notación
formal Quíntupla teniendo en cuenta que es un
autómata finito determinista.
k=(a,b,m,n,p,q,r,u)
Σ=(0,1)
s=m
f=(p,q,r)
δ: {a,b,m,n,p,q,r,u }.
δ(m,0)= m
δ(m,1)= a
δ(n,0)= b
δ(n,1)= m
δ(a,0)= p
δ(a,1)= a
δ(p,0)= q
δ(p,1)= u
δ(q,0)= q
δ(q,1)= r
δ(u,0)= p
δ(u,1)= r
δ(r,0)= b
δ(r,1)= q
δ(b,0)= r
δ(b,1)= m
Lenguaje
Regular
Gramática del
autómata
A. q0, q4, q6
B. q4, q0, q6
C. q6, q4, q0
D. q4, q6, q0
A. X, M, Z, N
B. A, B, C, D
C. X, R, Z, D
D. A, M, N, Z
A. B, A
B. Z, N
C. Z, A
D. A, B
BIBLIOGRAFÍA
Guillen Godoy (25 de Marzo de 2010). Autómatas con pila. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=Zv80KxbXzK8