AUTOMATAS Y LENGUAJES

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 Individual Autómata a pila

Cada estudiante resuelve el taller propuesto en el objeto virtual de aprendizaje lenguajes

de libre contexto propuesto en el entorno de conocimiento Unidad 2.
https://repository.unad.edu.co/handle/10596/18317
Actividad alojada en
https://drive.google.com/drive/folders/15DmtzpOBSoIE2VvAv3dvyTU7fghgNplt

Se encuentra un ejercicio, correspondientes a: Actividad 1: Autómata de pila

Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a paso, no se

tendrá en cuenta las respuestas o simulaciones en JFlap o VAS.
 Actividades

Actividad 2 Minimización de autómatas

Teniendo en cuenta el siguiente autómata realice:

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.

https://www.youtube.com/watch?v=eOynYG8Ibk0&t=9s
Autómata de PILA
 Autómata de PILA

Con n = 2 (a) =aa

=
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

X = Símbolo de la cadena de entrada L = (0n 1n \ n >= 1)

S= Símbolo que desapila
T = Símbolo que apila

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

5 – TUPLA (K, ∑, δ,S,F)

q3 q7 1. Identificar si es determinista o no determinista

1
1
0 0 Estados y Alfabeto
1 0 M = Estados

M= {q0, q1, q2, q3, q4, q5, q6, q7}, {0,1}

1
q2 q6 q4
δ = {q0, q2}, estado inicial y de aceptación
0
1 K= {q0, q1, q2, q3, q4, q5, q6, q7}
1 1
0 ∑ = {0,1} Alfabeto
q5
q1 s = {q0}
0
f = {q2}
1
0

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

Se eliminan conjuntos con los aceptadores y no aceptadores

 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 X = {q2} Aceptador

0
q5 x y
M= {q0, q4, q6 }
q6 y y Z = {q1, q7 }
q0 N = {q3, q5 }
Z {q1, q7 } q7 y x
 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 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 = {q2} Sigue estado final

q3 q7 Z = {q1, q7 }
1 N = {q3, q5 }
1 A = {q0, q4 }
0 0
1 0 B = {q6 }

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

Sacamos la tabla de transiciones

0
0 Z X 0 1
B
0 1
q2 A X
1
Z 0 1 A Z N
0
X A X
q1 B X
1 1
A
q7 B X B B A
0 N 0 1 Z B X
1
1 q3 X B N X B
0 X
q5 X B
N
A 0 1
q0 Z N
q4 Z N
B 0 1
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

Se crean nuevos conjuntos

GRACIAS
http://normasapa.com/