AUTOMATAS Y LENGUAJES

FORMALES

Unidad 2 Fase 3
22/10/2019

TUTOR
ROLANDO
JUNCO
 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
Actividades
 Mecanismo de Control
Autómata de Pila
Cinta: Cadena de entrada

L,D,A,q,t
p= Estado inicial 1 2
q= Estado al que llega L Cadena de lectura
L = Símbolo de la cadena de entrada
D= Símbolo que desapila
(L , D , A) p A
A= Símbolo que apila D
(λ , K , λ) K
(1 , λ , 1) q
(L , D , A) ejemplo (2 , λ , 2)
(1 , λ , 1) apila q p
(2 , λ , 2) apila (1 , 1 , λ)
(2 , 2 , λ)

Tutorial 1 https://www.youtube.com/watch?v=VDqII36S7U4 q1
q2
Tutorial 2 https://www.youtube.com/watch?v=ufRfjKgaUgo q3
Autómata de PILA
 Autómata de Pila

1 2

4 3

babbaaaa b a b b a a a a
12345678
L Cadena de lectura

a
(a , λ , a) p A
b D

q z
Autómata de Pila
 Autómata de Pila

https://repository.unad.edu.co/handle/10596/18317
 Autómata de Pila

https://repository.unad.edu.co/handle/10596/18317
 Autómata de PILA
EJERCICIO A TRABAJAR

Caracterización del autómata

a pila AP por vaciado de pila AP por estado final
Xxxx xxxx xxxx xxxx Xxxx xxxx xxxx xxxx
Xxxx xxxx xxxx xxxx Xxxx xxxx xxxx xxxx
Mediante la definición formal Xxxx xxxx xxxx xxxx Xxxx xxxx xxxx xxxx
explicar las características del Xxxx xxxx xxxx xxxx Xxxx xxxx xxxx xxxx
autómata si es AFD AFND Xxxx xxxx xxxx xxxx Xxxx xxxx xxxx xxxx
Xxxx xxxx xxxx xxxx Xxxx xxxx xxxx xxxx.
- Realizar un cuadro
comparativo de la
Equivalencia entre AP por
vaciado de pila y AP por
estado final
 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

Procedimiento de paso a Paso 2:

paso del recorrido de una
cadena

Lee
 Autómata de PILA

Procedimiento de paso a Paso 3:

paso del recorrido de una
cadena

Lee
Lee

Inserta
 Autómata de PILA

Procedimiento de paso a Paso 4:

paso del recorrido de una
cadena

Inserta
 Autómata de PILA

Procedimiento de paso a Paso 5:

paso del recorrido de una
cadena
 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

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.
 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
 Autómata de PILA

Procedimiento de paso a Paso 3:

paso del recorrido de una
cadena

Lee
Lee

Inserta
 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
 Autómata de PILA

Procedimiento de paso a Paso 5:

paso del recorrido de una
cadena
 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
 Autómata de PILA

Preguntas de 1. En la minimización del autómata en la primera validación, como

Verificación estados equivalentes quedan:
A. q0, q4, q6
B. q4, q0, q6
C. q6, q4, q0
D. q4, q6, q0
2. Los nombres de los conjuntos que se manejan después de la primera
validación de estados son:
A. X, M, Z, N
B. A, B, C, D
C. X, R, Z, D
D. A, M ,N, Z
3. En la tabla de transición final como resultado de la minimización del
autómata:
0 1
B ? ?

A. B,A
B. Z,N
C. Z,A
D. A,B
 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

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/