AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 2 FASE 3

MODELAR PROBLEMAS DE LENGUAJES INDEPENDIENTES

PRESENTADO A:
JHEIMER JULIAN SEPULVEDA
TUTOR(A)

PRESENTADO POR:

MATEO DE CASTRO ECHEVERRI

CÓDIGO: 1.088.023.341

JOHN ALEXANDER DURAN

CÓDIGO: 9.869.176

DIEGO FERNANDO HENAO

CÓDIGO:

WILLIAN GEOVANY NAVARRO

CÓDIGO: 1.094.915.177

GRUPO: 301405_53

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS, INGENIERÍAS Y TECNOLOGÍAS
CURSO DE ECUACIONES DIFERENCIALES
10/04/2019
 INTRODUCCIÓN

Concretamente en el desarrollo de dicho trabajo se desarrollarán dos ejercicios,

uno de los cuales consta de los autómatas a pila y el otro es una minimización de

un autómata finito no determinista, ya que sus estados pueden desplazarse a

otros mediante diferentes transiciones. Debemos entender muy bien el concepto

de autómata a pila para poder desarrollar correctamente el mismo.

DESARROLLO DE LAS ACTIVIDADES

Actividad 1: Esta actividad corresponde al Autómata de pila desarrollado por cada

estudiante.

De acuerdo con el último dígito de su cédula o tarjeta de identidad,

identifique el ejercicio asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

1. Ejercicio 1 2. Ejercicio 2
3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5

El diseño solicitado corresponde al diligenciamiento de la siguiente

tabla:
JHON ALEXANDER DURAN

EJERCICIO Registre aquí el Ejercicio a trabajar. Por favor

POR agregue la imagen
TRABAJAR

Caracterizaci En este espacio se realiza:

ón del - Mediante la definición formal explicar las
autómata a características del autómata
pila  De acuerdo a la imagen se puede deducir que
maneja una pila
 Consta de la siguiente estructura:
 Un símbolo de entrada, elemento que toma lo
alto de la pila y el símbolo que ingresa a la
pila.
 
 Se identifican los siguientes elementos
 (∑, Γ, Q, A0, q0, f, F) los cuales constituyen la
séptupla.
- Realizar un cuadro comparativo de la Equivalencia
entre AP por vaciado de pila y AP por estado final

Tenemos que: Tenemos que:

𝑃 = (𝑄, 𝛴, 𝛤, 𝛿, 𝑞0, 𝑧0)
P acepta el lenguaje por pila
vacía:
𝑁(𝑃)={𝑤|(𝑞0, 𝑤, 𝑧0) *𝑃(𝑞, 𝜆,
𝜆)}
𝑃 =(𝑄, 𝛴, 𝛤, 𝛿, 𝑞0, 𝑧0,𝐹)
Donde:
𝛤 = 𝑆𝑖𝑚𝑏𝑜𝑙𝑜 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎
𝑧0= 𝑆𝑖𝑚𝑏𝑜𝑙𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎
P acepta el lenguaje por pila vacía:
𝐿(𝑃)={𝑤|(𝑞0, 𝑤, 𝑧0) *𝑃(𝑞, 𝜆, 𝜆), 𝑞𝜖𝐹}

Si reconocemos por pila vacía, Para llegar por P se puede con 0 o más
la pila queda sin 𝑧0 pasos

Procedimiento Realice de manera detallada y grafica el

de paso a procedimiento paso a paso del recorrido de una
paso del cadena (La cadena la selecciona el estudiante, debe
recorrido de contener como mínimo 8 caracteres) en el autómata
una cadena a pila. Describir cómo funciona el almacenamiento
en la pila, como funciona LIFO, etc.

Vamos a leer la cadena aaaabbbb para recorrer el

autómata:
ESTADO POR LEER PILA
Q0 aaaabbbb Z0
Pila
 
 
 
 
 
 
Z0
Cinta de recorrido
a a a a b b b b
Leemos la primer a, no se saca nada de la pila y se
agrega una a
ESTADO POR LEER PILA
Q0 aaaabbbb Z0
Q0 aaabbbb a
Pila
 
 
 
 
 
a
Z0
Cinta de recorrido
a a a a b b b b
Leemos la segunda a, no se saca nada de la pila y se
agrega una a
ESTADO POR LEER PILA
Q0 aaaabbbb Z0
Q0 aaabbbb a
Q0 aabbbb aa
Pila
 
 
 
 
a
a
Z0
Cinta de recorrido
a a a a b b b b
Leemos la tercera a, no se saca nada de la pila y se
agrega una a
ESTADO POR LEER PILA
Q0 aaaabbbb Z0
Q0 aaabbbb a
Q0 aabbbb aa
Q0 abbbb aaa
Pila
 
 
 
a
a
a
Z0
Cinta de recorrido
a a a a b b b b
Leemos la cuarta a, no se saca nada de la pila y se
agrega una a
ESTAD
O POR LEER PILA
Q0 aaaabbbb Z0
Q0 aaabbbb a
Q0 aabbbb aa
Q0 abbbb aaa
Q0 bbbb aaaa
Pila
 
 
a
a
a
a
Z0
Cinta de recorrido
a a a a b b b b
Ahora leemos una b y pasamos al estado Q1, se
saca una a de la pila y no se ingresa nada
ESTADO POR LEER PILA
Q0 aaaabbbb Z0
Q0 aaabbbb a
Q0 aabbbb aa
Q0 abbbb aaa
Q0 bbbb aaaa
Q1 bbb aaa
Pila
 
 
 
a
a
a
Z0
Cinta de recorrido
a a a a b b b b
Continuamos y leemos la segunda b, se saca una a
de la pila y no se ingresa nada
ESTAD
O POR LEER PILA
Q0 aaaabbbb Z0
Q0 aaabbbb a
Q0 aabbbb aa
Q0 abbbb aaa
Q0 bbbb aaaa
Q1 bbb aaa
Q1 bb aa
Pila
 
 
 
 
a
a
Z0
Cinta de recorrido
a a a a b b b b
Se lee ahora una tercera b, se saca una a de la pila y
no se ingresa nada
ESTADO POR LEER PILA
Q0 aaaabbbb Z0
Q0 aaabbbb a
Q0 aabbbb aa
Q0 abbbb aaa
Q0 bbbb aaaa
Q1 bbb aaa
Q1 bb aa
Pila
 
 
 
 
 
a
Z0
Cinta de recorrido
a a a a b b b b
Se lee la última b, se saca una a de la pila y no se
ingresa nada, por lo tanto la pila queda vacía
 ESTADO POR LEER PILA
Q0 aaaabbbb Z0
Q0 aaabbbb a
Q0 aabbbb aa
Q0 abbbb aaa
Q0 bbbb aaaa
Q1 bbb aaa
Q1 bb aa
Q1 b a
Q1   Z0
Pila
 
 
 
 
 
 
Z0
Cinta de recorrido
a a a a b b b b

(Q0, a, Z0) = {(Q0, a, Z0)}

(Q0, b, Z0) = {(Q1, λ)}
(Q1, b, Z0) = {(Q1, λ)}

Estando el autómata en estado Q0, recibe la cadena

(aaaabbbb):
Lee una a y carga a la pila que se encuentra vacia
una (a), no saca nada de la pila.
Realiza el mismo proceso hasta leer las otras 3 a’s
quedando la pila con las 3 a’s cargadas.

Lee una b y pasa del estado Q0 al Q1, este saca una

a de la pila y no ingresa nada mas a la pila, este
proceso se realiza recibiendo las otras 3 b’s, hasta
que finalmente deja la pila vacía y termina su
recorrido.

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y

verificar lo validar por lo menos cinco cadenas válidas y 5
aprendido cadenas rechadas por el autómata. En este espacio
 adjunta la imagen.

MATEO DE CASTRO ECHEVERRI

EJERCICIO
PARA
TRABAJAR

Caracterización En este espacio se realiza:

del autómata a - Mediante la definición formal explicar las
pila características del autómata.

Primero que todo vamos a definir sus componentes:

Q=Estados
∑ ¿ Alfabeto
δ =Transición
q 0=Estado Inicial
Γ =Alfabeto Pila
F=Estados de aceptación
Z 0=Símbolo Inicial

- Realizar un cuadro comparativo de la Equivalencia

entre AP por vaciado de pila y AP por estado final

Tenemos que: Tenemos que:

 A𝑃 = (𝑄, 𝛴, 𝛿, 𝑞0, 𝛤, 𝐹, 𝑧0) A𝑃 = (𝑄, 𝛴, 𝛿, 𝑞0, 𝛤, 𝐹, 𝑧0)

AP acepta el lenguaje por pila AP acepta el lenguaje por pila vacía:

vacía: 𝐿(𝑃)= {𝑤|(𝑞0, 𝑤, 𝑧0) *𝑃(𝑞, 𝜆, 𝜆),
𝑁(𝑃)= {𝑤|(𝑞0, 𝑤, 𝑧0) 𝑞𝜖𝐹}
*𝑃(𝑞, 𝜆, 𝜆)}

Si reconocemos por pila Para llegar por AP se puede con 0 o

vacía, la pila queda sin 𝑧0 más pasos

Procedimiento Realice de manera detallada y grafica el procedimiento

de paso a paso paso a paso del recorrido de una cadena (La cadena la
del recorrido de selecciona el estudiante, debe contener como mínimo 8
una cadena caracteres) en el autómata a pila. Describir cómo
funciona el almacenamiento en la pila, como funciona
LIFO, etc.

Vamos a leer la cadena aaaaaabb para recorrer el

autómata respectivamente:
POR
ESTADO LEER PILA
aaaaaab
Q0 b Z0
Pila
 
 
 
 
 
 
Z0
Cinta de recorrido
a a a a a a b b

Leemos la primer a, no se saca nada de la pila y se

agrega una a
POR
ESTADO LEER PILA
aaaaaab
Q0 b Z0
Q0 aaaaabb a
Pila
 
 
 
 
 
a
Z0
Cinta de recorrido
a a a a a a b b
Leemos la segunda a, no se saca nada de la pila y se
agrega una a
POR
ESTADO LEER PILA
aaaaaab
Q0 b Z0
Q0 aaaaabb a
Q0 aaaabb aa
Pila
 
 
 
 
a
a
Z0
Cinta de recorrido
a a a a a a b b
Leemos la tercera a, no se saca nada de la pila y se
agrega una a
POR
ESTADO LEER PILA
aaaaaab
Q0 b Z0
Q0 aaaaabb a
Q0 aaaabb aa
Q0 aaabb aaa
Pila
 
 
 
a
a
 a
Z0
Cinta de recorrido
a a a a a a b b
Leemos la cuarta a, no se saca nada de la pila y se
agrega una a
POR
ESTADO LEER PILA
aaaaaa
Q0 bb Z0
aaaaab
Q0 b a
Q0 aaaabb aa
Q0 aaabb aaa
Q0 aabb aaaa
Pila
 
 
a
a
a
a
Z0
Cinta de recorrido
a a a a a a b b
Leemos la quinta a, no se saca nada de la pila y se
agrega una a

POR
ESTADO LEER PILA
aaaaaab
Q0 b Z0
Q0 aaaaabb a
Q0 aaaabb aa
Q0 aaabb aaa
Q0 aabb aaaa
Q0 abb aaaaa
Pila
 
a
a
a
a
 a
Z0
Cinta de recorrido
a a a a a a b b
Leemos la sexta a, no se saca nada de la pila y se agrega
una a

POR
ESTADO LEER PILA
aaaaaa
Q0 bb Z0
aaaaab
Q0 b a
Q0 aaaabb aa
Q0 aaabb aaa
Q0 aabb aaaa
Q0 abb aaaaa
Q0 bb aaaaaa
Pila
a
a
a
a
a
a
Z0
Cinta de recorrido
a a a a a a b b
Se lee ahora la primera b, se saca una a de la pila y no
se ingresa nada
ESTAD
O POR LEER PILA
Q0 aaaaaabb Z0
Q0 aaaaabb a
Q0 aaaabb aa
Q0 aaabb aaa
Q0 aabb aaaa
Q0 abb aaaaa
Q0 bb aaaaaa
Q1 b aaaaa
Pila
 
a
 a
a
a
a
Z0
Cinta de recorrido
a a a a a a b b
Se lee la segunda b, se saca una a de la pila y no se
ingresa nada, por lo tanto, la pila queda con 4 a
POR
ESTADO LEER PILA
aaaabbb
Q0 b Z0
Q0 aaaaabb a
Q0 aaaabb aa
Q0 aaabb aaa
Q0 aabb aaaa
Q0 abb aaaaa
Q0 bb aaaaaa
Q1 b aaaaa
Q1 aaaa
Q1   Z0
Pila
 
 
a
a
a
a
Z0
Cinta de recorrido
a a a a a a b b

(Q0, a, Z0) = {(Q0, a, Z0)}

(Q0, b, Z0) = {(Q1, λ)}
(Q1, b, Z0) = {(Q1, λ)}

Estando el autómata en estado Q0, recibe la cadena

(aaaaaabb):
Lee una a y carga a la pila que se encuentra vacía una
(a), no saca nada de la pila.
Realiza el mismo proceso hasta leer las otras 5 a
quedando la pila con las 6 a cargadas.
 Lee una b y pasa del estado Q0 al Q1, este saca una a de
la pila y no ingresa nada más a la pila, este proceso se
realiza recibiendo la otra b restante, hasta que
finalmente deja la pila con 4 a.

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y

verificar lo validar por lo menos cinco cadenas válidas y 5 cadenas
aprendido rechazadas por el autómata. En este espacio adjunta la
imagen.

WILLIAN GEOVANY NAVARRO

EJERCICIO Registre aquí el Ejercicio a trabajar. Por favor

POR TRABAJAR agregue la imagen
Caracterizació En este espacio se realiza:
n del autómata - Mediante la definición formal explicar las
a pila características del autómata

AP = (∑,┌, Q, AQ, q0f, F)

∑ = a,b
Г = Z, A, B
Q = q0, q1
A0 = Z, A
q0ЄQ = q0
F cQ = q1
F = ơ(q0,a,Z),(q0,A)
Ơ ( q0,a,A),(q0,A)
Ơ (q0,b,B),(q1,B)
Ơ (q1,b,B),(q1,λ)
Ơ (q1, b,A),(q1,λ)

- Realizar un cuadro comparativo de la

Equivalencia entre AP por vaciado de pila y AP
por estado final

Automata a pila por Automata a pila por

vaciado estados finales
El lenguaje aceptado es Se aceptaran todas las
el conjunto de palabra palabras que permitan
que permite transitar pasar de la
desde el estado inicial configuracion inicial a
hasta una descripción una en la que se haya
en la que tanto la leído toda la palabra de
entrada como la pila entrada y el automata
estén vacias este en uno de los
estados finales,
LV = {x|_0(x,_0)| independientes del
_0,x,_0) y PЄQ y contenido de la pila
xЄ∑*}
LEF = {X|(_0,X,_0)|-
 *(_0,λ,x) y pef , xЄ∑*
y xЄT}
Se define mediante una Se define mediante una
septupla septupla

Procedimiento Realice de manera detallada y grafica el

de paso a paso procedimiento paso a paso del recorrido de una
del recorrido cadena (La cadena la selecciona el estudiante,
de una cadena debe contener como mínimo 8 caracteres) en el
autómata a pila. Describir cómo funciona el
almacenamiento en la pila, como funciona LIFO,
etc.

- Paso 1…
- Paso 2…
- Paso 3…

Ejemplo:

Gráfico

Realizar la representación utilizando flechas,

conexiones, diagramas que permitan ver el
funcionamiento del autómata a pila

Para una transición:

F (q, a, A) = {(q1, Z1), (q2, Z2),... (qn, Zn)}
- Paso 1: cuando el autómata se encuentra en el
estado q, lee el símbolo de entrada a y tiene el
símbolo A en la cima de la pila.

- Paso 2: El autómata pasará a algún estado q1,

eliminará el símbolo A de la pila e introducirá en
 ella la palabra Zi, quedando la cabeza de Zi en la
cima de la pila.
- Paso 3: El procedimiento se repite n veces

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y

verificar lo validar por lo menos cinco cadenas válidas y 5
aprendido cadenas rechadas por el autómata. En este espacio
adjunta la imagen.

Actividad 2:
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.

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO Registre aquí el Ejercicio a trabajar. Por favor

POR TRABAJAR agregue la imagen

Procedimiento Realice de manera detallada el procedimiento paso

de a paso de la minimización del autómata.
minimización
- Paso 1 – Autómata Finito Determinista

Identificar si se trata de un autómata finito

determinista; efectivamente si lo es, ya que para
entrada sólo existe uno y sólo un estado, al que el
autómata puede hacer la transición a partir de su
estado actual.

- Paso 2 – 5-tupla

Establecer los componentes de la 5-tupla

{ K , Σ , δ , s , F }(5−tupla)

Donde:

M = {q 0 , q 1, q 2 , q 3 , q 4 , q 5 , q 6 , q 7 , q 8 } , { 0,1 } , δ , q 0 , { q 2 , q 4 , q 8 }
K= { q 0 , q 1 , q 2 ,q 3 ,q 4 , q 5 , q 6 , q 7 , q 8 }−( Estados)
Σ= {0,1 }( Alfabeto)
s= { q 0 } (Estado Inicial)
F={ q 2 , q 4 , q 8 } ( Estado Final)
δ =(Transiciones)

- Paso 3 - Transiciones

Determinar las Transiciones donde la función

δ = {q 0 , q 1, q 2 , q 3 , q 4 , q 5 , q 6 , q 7 , q 8 } x {0,1 } → { q 0 , q 1 , q 2 ,q 3 , q 4 , q 5 , q 6 , q 7 , q 8

δ ( q 0,0 )=q 3
δ ( q 0,1 )=q 1
δ ( q 1,0 )=q 2
δ ( q 1,1 )=q 1
δ ( q 2,0 )=q 4
δ ( q 2,1 )=q 5
δ ( q 3,0 )=q 0
δ ( q 3,1 )=q 1
δ ( q 4,0 ) =q 4
δ ( q 4,1 )=q 8
δ ( q 5,0 )=q 2
δ ( q 5,1 )=q 8
δ ( q 6,0 )=q 7
δ ( q 6,1 )=q 3
δ ( q 7,0 )=q 8
δ ( q 7,1 )=q 3
δ ( q 8,0 )=q 7
δ ( q 8,1 )=q 4

- Paso 4 – Teoría de Conjuntos

En este paso identificamos los conjuntos, el
conjunto de los X, correspondiente a los
Aceptadores y el conjunto de los Y,
correspondiente a los No Aceptadores así:

X ={ q 2 , q 4 , q 8 } ( Aceptadores)
Y = { q 0 , q 1 , q 3 , q 5 ,q 6 , q 7 } (No Aceptadores)

Y mediante una tabla realizamos la validación de

cada conjunto.

Validación Información del Conjunto X

0 1
q2 X Y
q4 X X
q8 Y X

Realizando la validación encontramos que ninguno

es equivalente.

Validación Información del Conjunto Y

0 1
q0 Y Y
q1 X Y
q3 Y Y
q5 X X
q6 Y Y
q7 X Y

Encontramos que q 0 ,q 3 , q 6−Son Equivalentes y

q 1 , q 7−TambiénSon Equivalentes
- Paso 5 – Se Generan Nuevos Conjuntos

P= { q 2 }
Q= { q 4 }
R={ q 8 }
S= { q 0 , q 3 , q 6 }
T ={ q 1 , q 7 }
U ={ q 5 }

Validación Información del Conjunto P

0 1
q2 Q U

Validación Información del Conjunto Q

0 1
q4 Q R

Validación Información del Conjunto R

0 1
q8 T Q

Validación Información del Conjunto S

0 1
q0 S T
q3 S T
q6 T S

Validación Información del Conjunto T

0 1
q1 P T
q7 R S

Validación Información del Conjunto U

0 1
q5 P R

Luego de este proceso encontramos que sólo dos

de las validaciones son equivalentes y fueron q 0 ,q 3
, formándose nuevos conjuntos así:
A={ q 2 }
B= { q 4 }
C={ q 8 }
D= { q 0 , q 3 }
E={ q 6 }
F={ q 1 }
G= { q 7 }
H= { q 5 }

- Paso 6 – Se realizan las tablas de transiciones

para los nuevos conjuntos así:

Validación Información del Conjunto A

0 1
q2 B H

Validación Información del Conjunto B

0 1
q4 B C

Validación Información del Conjunto C

0 1
q8 G B

Validación Información del Conjunto D

0 1
q0 D F
q3 D F

Validación Información del Conjunto E

0 1
q6 G D

Validación Información del Conjunto F

0 1
q1 A F
 Validación Información del Conjunto G

0 1
q7 C D

Validación Información del Conjunto H

0 1
q5 A C

Se realiza la tabla de transición correspondiente.

0 1
A B H q2
B B C q4
C G B q8
D D F q0-q3
E G D q6
F A F q1
G C D q7
H A C q5

Resultado del
Autómata
minimizado

Notación M = { A , B ,C , D , E , F , G, H } { 0,1 }
formal

 Lenguaje El lenguaje que reconoce:

 Regular ∑ ¿ { 0,1 }
Cadenas que reconoce:

  M = { A , B ,C , D , E , F , G, H } { 0,1 } , { P , Q , R }{ S , T , U }
Gramática del δ = { q0 } , { q 2 , q 4 , q8 } Estado inicial y finales del autómata
autómata K={q 0 , q 1 , q 2 , q 3 , q 4 , q5 , q6 , q7 , q 8 }estados
∑={ 0,1 } Tipo de alfabeto
S={D }Estado inicial del auómata
F={ A , C , D } Estado final del autómata

C ON C L U S I O N E S

- L o s a u t ó ma t a s f i n i t o s má s c o m p l e j o s p u e d e n s e r m i n i m i z a d o s a
p a r t i r d e algoritmos que evalúan el comportamiento de la máquina, desechando
los estados innecesarios o inaccesibles, los cuales no influyen en el
funcionamiento final del autómata y por ende pueden ser eliminados.

-Los autómatas a pila tienen la capacidad de aceptar lenguajes que los autómatas
finitos no pueden.

-Es importante identificar previamente los elementos de un autómata antes de

iniciar a trabajarlos, para saber de cuantas partes se compone.

- Un autómata de pila cuenta con una cinta de entrada y un mecanismo de control

que puede encontrarse en uno de entre un número finito de estados.
 BIBLIOGRAFIA
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo11.pdf

https://www.youtube.com/watch?v=qgeARf15F6k

http://antares.sip.ucm.es:8180/webtalf/index.jsp?
submenu=temas/submenuIncontextuales&contenido=temas/ap

http://quegrande.org/apuntes/ETIS-USC/1/TALF1/teoria/07-08/tema_5_-
_automatas_a_pila.pdf