Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Trabajo - Final - Automata de Pila 0910219 PDF
Trabajo - Final - Automata de Pila 0910219 PDF
FORMALES
Unidad 2 Fase 3
09/10/2019
TUTOR
ROLANDO
JUNCO
Pre saberes y Fundamentos
Básicos
Pre saberes y Fundamentos
Básicos
Pre saberes y Fundamentos
Básicos
Actividades
Actividades Colaborativas:
https://www.youtube.com/watch?v=eOynYG8Ibk0&t=9s
Autómata de PILA
Autómata de PILA
=
n=2 Con n = 2
0, λ, A 1, A, λ
A
1,A, λ λ ,Z, a
q0 q1 q2
1
1
___ ___
Pila Read
LEE SACA 1 Desapila
INSERTA 0 Apila
0, λ, a Z Fondo
Autómata de PILA
Partes de un Autómata de
COLA PILA: LI F O
COLA: F I F O
9
7
Cabeza.info
1 2 3 4 5 7 9 5
4
Movimiento en esta dirección
Cabeza.info 3
2
Pila 1
Indicador de estado
s0 S1 s3 s4 s5
Mecanismo de control
Autómata de PILA
Partes de un Autómata de
PILA
COLA: L I F O
Cabeza.info
O D N A L R O
Movimiento en esta dirección
Cabeza.info
Pila
Indicador de estado
s0 S1 s3 s4 s5
Mecanismo de control
Autómata de PILA
Autómata de PILA
1 2 3 4 5
Cadena de lectura T
S
P Estado inicial
Q Estado Final k
Pila
5432 1
Autómata de PILA
Autómata de PILA
Autómata de Pila
P,X,S,q,t
Cadena de entrada
P= Estado inicial
0 1
q= Estado al que llega
X = Símbolo de la cadena de entrada Cadena de lectura
S= Símbolo que desapila Cima
T = Símbolo que apila p
a
Mecanismo
(X , S , T) ejemplo q
De control K
(0 , λ , a) apila
(1 , a , λ) desapila
Tutorial 1 https://www.youtube.com/watch?v=VDqII36S7U4
Tutorial 2 https://www.youtube.com/watch?v=ufRfjKgaUgo
Autómata de Pila
n = 2 01
(X , S , T)
0, λ,a 1, a,λ
Cadena de lectura
1, a,λ
q0 q1 q2
λ, Z,λ
Cima
p λ,Z,λ
Cadena de entrada
q
0 0 1 1
PILA
LIFO
n=1 01
Autómata de Pila
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 δ = {q0, 1} = q5
1 δ = {q1, 0} = q6
1 0 δ = {q1, 1} = q2
0 0
1 0 δ = {q2, 0} = q0
δ = {q2, 1} = q2
δ = {q3, 0} = q2
1 δ = {q3, 1} = q6
q2 q6 q4
δ = {q4, 0} = q7
0 δ = {q4, 1} = q5
1 δ = {q5, 0} = q2
1 1 δ = {q5, 1} = q6
0
δ = {q6, 0} = q6
q5 δ = {q6, 1} = q4
q1 δ = {q7, 0} = q6
0 δ = {q7, 1} = q2
1
0
q0
Minimización Autómatas Finitos
Transiciones
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 M {q0, q4, q6 } equivalentes
q1
0 q3 x y
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 Y X
0
1 0 1
1 1 {q0, q4, q6 } equivalentes
0 q0 Y y
q5 q1 y X
q1
0 {q3, q5 } q3 x y
1 q4 y y
0
q5 x y
q6 y y
q0
{q1, q7 } q7 y x
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 M X
1 1 {q1, q7 } Eq
0 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
0 q5 X M
X 0 1 X 0 1
q0
q2 M x q2 M X
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
Transición de estados
Estado aceptador
X = {q2}
M = {q0, q4, q6}
q3 q7 Z= {q1, q7}
1 N={q3, q5}
1 0
0 0
1 0
1
q2 q6 q4
0
1
1 M 0 1
0 1
q0 Z N
q5
q1 q1 xx xx
0
q6 xx xx
1 Equivalentes
0
{q1, q7}
q0