Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad 2 Fase 3 PDF
Unidad 2 Fase 3 PDF
FORMALES
Unidad 2 Fase 3
24/03/2020
TUTOR
ROLANDO
JUNCO
Actividades
OVA http://hdl.handle.net/10596/18317
Actividades Individual Autómata a pila
Actividades Colaborativas:
https://www.youtube.com/watch?v=eOynYG8Ibk0&t=9s
Actividades
Autómata de PILA
Definición LIFO
L,D,A,q,t
Gramática Tipo 2
p= Estado inicial
q= Estado al que llega
L = Símbolo de la cadena de entrada
D= Símbolo que desapila
A= Símbolo que apila
(L , D , A) ejemplo
(1 , λ , 1) apila
(2 , λ , 2) apila
Tutorial 1 https://www.youtube.com/watch?v=VDqII36S7U4
Tutorial 2 https://www.youtube.com/watch?v=ufRfjKgaUgo
Mecanismo de Control
Autómata de Pila
Cinta: Cadena de entrada
(L , D , A) ejemplo
(1 , λ , 1) apila 112 1 1 1 2
(2 , λ , 2) apila L Cadena de lectura
2
Qn A
(1 , λ , 1) 1
(2 , λ , 2) D
q1 Q
q2 q3 K
(1 , 1 , λ) (2 , 2 , λ) Cadena de lectura
Tutorial 1 https://www.youtube.com/watch?v=VDqII36S7U4
Tutorial 2 https://www.youtube.com/watch?v=ufRfjKgaUgo
Autómata de Pila
Cadena de lectura
bab λ λ λ
b a b λ λ λ
L
p
(L , D , A)
(a , λ , a) q
z
Autómata de Pila
0011
https://drive.google.com/drive/folders/15DmtzpOBSoIE2VvAv3dvyTU7fghgNplt
Autómata de Pila
EJERCICIO A TRABAJAR
Autómata de PILA
EJERCICIO A TRABAJAR
LEE SACA 1 Desapila
INSERTA 0 Apila
a, λ, a Z Fondo
Realice de manera
detallada y grafica el
procedimiento paso a
paso del recorrido de una LEE
cadena (La cadena la
selecciona el estudiante,
SACA
debe contener como
mínimo 8 caracteres) en INSERTA
el autómata a pila.
Describir cómo funciona
el almacenamiento en la
pila, como funciona LIFO,
etc.
Autómata de PILA
Lee
Autómata de PILA
Lee
Lee
Inserta
Autómata de PILA
Inserta
Autómata de PILA
Practicar y verificar lo
aprendido
Apoyándose en el simulador
JFlap o VAS ejecutar y validar
por lo menos 5 cadenas
válidas y 5 cadenas
rechazadas por el autómata.
En este espacio adjunta la
imagen.
Autómata de PILA
A. B,A
B. Z,N
C. Z,A
D. A,B
Minimización Autómatas Finitos
Estados
q0
https://www.youtube.com/watch?v=eOynYG8Ibk0&t=9s
Minimización Autómatas Finitos
Transiciones
Transición de estados
δ = {q0, 0} = q1
q3 q7
1 δ = {q0, 1} = q5
1 0
0 0
1 0 δ = {q1, 1} = q2
1 δ = {q1, o} = q2
q2 q6 q4
0
1
1 1
0 ….
q5
q1
0
1
0
q0
Transición de estados
δ = {q0, 0} = q1
q3 q7 δ = {q0, 1} = q5
1 δ = {q1, 1} = q2
1 0 δ = {q1, 0} = q6
0 0
1 0 δ = {q2, 1} = q2
δ = {q2, 0} = q0
δ = {q3, 1} = q6
1 δ = {q3, 0} = q2
q2 q6 q4
δ = {q4, 1} = q5
0 δ = {q4, 0} = q7
1 δ = {q5, 1} = q6
1 1 δ = {q5, 0} = q2
0
δ = {q6, 1} = q4
q5 δ = {q6, 0} = q6
q1 δ = {q7, 1} = q2
0 δ = {q7, 0} = q6
1
0
q0
Transición de estados
X = {q2} Aceptador
q3 q7
1 Y = {q0, q1, q3, q4, q5, q6, q7 } No aceptador
1
0 0 0
1 0
0 1
q2 q6
1
q4
Aceptador
q2 Y X
0
1 0 1
1 1
0 q0 Y Y
q5 q1 Y X
q1
0 q3
1 q4
0
q5
q6
q0
q7
Minimización Autómatas Finitos
Transiciones
Transición de estados
X = {q2} Aceptador
q3 q7
1 Y = {q0, q1, q3, q4, q5, q6, q7 } No aceptador
1
0 0
1 0
0 1
q2 q6
1
q4
Aceptador
q2
0
1 0 1
1 1 {} equivalentes
0 q0
q5 q1
q1
0 {} q3
1 q4
0
q5
q6
q0
{} q7
Minimización Autómatas Finitos
Transiciones
Transición de estados
X = {q2} Aceptador
q3 q7
1 Y = {q0, q1, q3, q4, q5, q6, q7 } No aceptador
1
0 0 0
1 0
0 1
q2 q6
1
q4
Aceptador
q2 Y X
0
1 0 1
1 1
0 q0 Y y
q5 q1 y X M {q0, q4, q6 } equivalentes
q1
0 q3 x y
1 N {q3, q5 } q4 y y
0
q5 x y
q6 y y
q0
Z {q1, q7 } q7 y x
X = {q2} Aceptador
M= {q0, q4, q6 }
Z = {q1, q7 }
N = {q3, q5 }
Minimización Autómatas Finitos
Transiciones
Transición de estados
X = {q2} Aceptador
q3 q7
1 M= {q0, q4, q6 }
1 Z = {q1, q7 }
0 0
1 0 N = {q3, q5 }
1
q2 q6 q4
M 0 1
0
1 q0 Z N
1 1 H (q0, q4)
0
q4 Z N
q5
q1 q6 M M
0
1
0
q0
Minimización Autómatas Finitos
Transiciones
Transición de estados
X = {q2} Aceptador
q3 q7
1 M= {q0, q4, q6 }
1 Z = {q1, q7 }
0 0
1 0 N = {q3, q5 }
1
q2 q6 q4
M 0 1
0
1 q0 z n
1 1 {q0, q4 }
0 q4 z n nuevo grupo
q5 q6 m m
q1 No
0 equivalente
1
0
q0
Minimización Autómatas Finitos
Transiciones
Transición de estados
X = {q2} Aceptador
q3 q7
1 M= {q0, q4, q6 }
1 Z = {q1, q7 }
0 0
1 0 N = {q3, q5 }
1
q2 q6 q4
Z 0 1 Z 0 1
0
1 q1 M X q1
1 1 { } Eq
0 q7 M X q7
q5
q1 N 0 1 N 0 1
0
q3 X M q3
{ } Eq
1 q5 X M
0 q5
X 0 1 X 0 1
q0
q2 q2
Minimización Autómatas Finitos
Transiciones
Transición de estados
X = {q2} Aceptador
q3 q7
1 M= {q0, q4, q6 }
1 Z = {q1, q7 }
0 0
1 0 N = {q3, q5 }
q2 q6
1 q4
Z 0 1 Z 0 1
0
1 q1 m x q1 M X
1 {q1, q7 } Eq
0 1 q7 m x q7 M X
q5
q1 N 0 1 N 0 1
0
q3 x m q3 X M
{q3, q5 } Eq
1 q5 x m q5 X M
0
X 0 1 X 0 1
q2 M x q2 M X
q0
Desaparecemos el
conjunto M
Minimización Autómatas Finitos
Transiciones
Transición de estados
Sacamos los equivalentes M desaparece por NO Eq
X 0 1 X 0 1
1
q2 q6 q4 q2 A X q2 A X
0 z 0 1 z 0 1
1
1 1 q1 B x q1 B X
0
q5
q7 B X q7 B X
q1
0 N 0 1 N 0 1
q3 X B q3 X B
1
0
q5 X B q5 X B
A 0 1 A 0 1
Desa
q0
q0 Z N q0 Z N conju
q4 Z N q4 Z N
B 0 1 B 0 1
q6 B A q6 B A
Minimización Autómatas Finitos
Transiciones
0
0 Z
B
Z 0 1 A Z N
0
1 X A X
q1 B X
1
q7 B X B B A
0 X
N N 0 1 Z B X
q3 X B N X B
q5 X B
A 0 1
0 q0 Z N
A Z
q4 Z N
B 0 1
1
q6 B A
N
GRACIAS
http://normasapa.com/