TAREA 3

CONSTRUCCIÓN DE AUTÓMATA DE PILA

JOHANNA MARCELA FERRO GONZÁLEZ

CÓDIGO: 1053333819
JEFFER DARÍO TIPAZOCA PEÑALOZA
CÓDIGO: 1072707051
JORGE LUISINISTERRA CUNDUMI
CÓDIGO: 1002936477

ÁNGELA MARÍA GONZÁLEZ

TUTORA

AUTÓMATAS Y LENGUAJES FORMALES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

FACULTAD DE INGENIERÍA
INGENIERÍA DE SISTEMAS
CEAD GARAGOA
ABRIL 2021
 INTRODUCCIÓN

Este trabajo se elaboró con el fin de construir autómatas de pila y

gramáticas independientes de contexto mediante mecanismos de
representación formal, teniendo en cuenta la comprensión del tipo
de problemas que cada uno puede resolver.

DESARROLLO DE LOS EJERCICIOS

Ejercicios 1: Autómata de Pila

Ejercicio a: Elaborado por JORGE LUISINISTERRA CUNDUMI

EJERCI
CIO A
TRABAJ
AR

Caracteriz Su septupla esta dada por:

ación del Q= {q0,q1} Conjunto de estados
autómata 𝛴= {a,b} Alfabeto lenguaje
a pila ⌈= {a} Alfabeto
de la pila s=
{q0} Estado
inicial
Z= {𝜆} Información
inicial de la pila F= {q1}
Estado final
𝛿= Transiciones
 q0 𝑥 a 𝑥 𝜆 = q0 𝑥 a
 q0 𝑥 b 𝑥 a = q1 𝑥 𝜆
 q0 𝑥 b 𝑥 a = q1 𝑥 𝜆
AP Vaciado de pila AP por estado final
 No es  Es
necesario necesario
que este que este
posea un posea un
estado final. estado
 La final.
información  La
de la pila es información
vital para de la pila no
determinar es requerida
la para
aceptación determinar
de la la
cadena. aceptación
 Si la de la
transición cadena.
solicita un  Si la
dato de la transición
pila y esta solicita un
no la posee dato de la
el autómata pila y esta
es rechazada no la posee
automáticam el autómata
ente. es rechazada
automáticam
 ente.
Procedimi Paso 1
ento de
paso a Cadena: aaabbb
paso

Paso 2

El autómata de pila se encuentra en el estado q0

sin datos en la pila. Al ingresar el simbolo a él
autómata de pila transita al estado q0 ingresando
el dato a en la cima de la pila, quedando a en la
cima de la pila.
Paso 3
El autómata de pila se encuentra en el estado q0
con simbolo a en la cima de la pila. Al ingresar el
simbolo a él autómata de pila transita al estado q0
ingresando el dato a en la cima de la pila,
quedando aa en la cima de la pila.

Paso 4
El autómata de pila se encuentra en el estado q0
con simbolo aa en la cima de la pila. Al ingresar
el simbolo a él autómata de pila transita al estado
q0 ingresando el dato a en la cima de la pila,
quedando aaa en la cima de la pila.
Paso 5
El autómata de pila se encuentra en el estado q0
con simbolo aaa en la cima de la pila. Al ingresar
el simbolo b él autómata de pila transita al estado
q1 eliminando el dato a de la cima de la pila,
quedando aa en la cima de la pila.

Paso 6
El autómata de pila se encuentra en el estado q1
con simbolo aa en la cima de la pila. Al ingresar
el simbolo b él autómata de pila transita al estado
q1 eliminando el dato a de la cima de la pila,
quedando a en la cima de la pila.
 Paso 7
El autómata de pila se encuentra en el estado q1
con simbolo a en la cima de la pila. Al ingresar el
simbolo b él autómata de pila transita al estado q1
eliminando el dato a de la cima de la pila,
quedando la pila vacia.

Al terminar en un estado de aceptación la

cadena es aceptada quedando la información de
la pila vacía.
Practic
ar y
verific
ar lo
apren
dido
 Leng
uaje
regul
ar

{an bm} Donde {n>=m>0}

Ejercicio b: Elaborado por JEFFER DARÍO TIPAZOCA PEÑALOZA

Ejercicio para trabajar

Caracterización del La séxtupla está dada:

autómata a pila ∑=( λ ,a,b)
r=( λ ,a,b)
Q={q0,q1}
A0€r= λ
Q0€ q=q0
F⊑Q ={q1}
F= 0= (q0,b, λ ),(q0,b)
0= (q0,a, λ ),(q0,a)
0= (q0, λ , λ ),(q1, λ )
0= (q1,a,a),(q1, λ )
 0= (q1,b,b),(q1, λ )

Ap vaciado de pila Ap por estado final

No es necesario que Es necesario que
tenga un estado tenga estado final
final
Si la transición Misma función de la
necesita un dato de ap vaciado de pila
la pila que en el cual
no va en el
autómata es
rechazada

Procedimiento Paso 1
Paso a paso del Cadena: baabab
recorrido de cadena

Paso 2
El autómata se encuentra en q0 por lo cual
no ha tomado ningún dato donde determina
la pila.
Al ingresar el símbolo b de la cadena
dejando como b en la cima de la pila
Teniendo en cuenta esta transición

0= (q0,b, λ ),(q0,b)
Paso 3
Aumentamos en la cinta de transiciones
ubicamos en A donde también va
aumentando la pila de acuerdo con la
transición
0= (q0,a, λ ),(q0,a)

Paso 4
Aumentamos como lo ve en la cienta de
transición pero sin embargo el carácter de la
cadena se ubica en la misma transición

Paso 5:
0= (q0, λ , λ ),(q1, λ )
Practicar lo aprendido

Validamos las cadenas

Aceptada las cadenas

Se acepta siempre y cuando esta las iniciales

de las cadenas es decir a o b pero rechaza
los comando de c ya que en este automata
no hay iniciales de cadena con este termino
Lenguaje regular
Ejercicio c: Elaborado por JOHANNA MARCELA FERRO GONZALEZ

EJERCICIO
A
TRABAJAR

Caracteriza - Mediante la definición formal explicar las

ción del características del autómata
autómata De acuerdo a la imagen el autómata es finito
de pila determinista ya que según su definición para cada
estado en que se encuentre el autómata, y con
cualquier símbolo del alfabeto leído, existe siempre
no más de una transición posible desde ese estado y
con ese símbolo.

- Realizar un cuadro comparativo de la Equivalencia

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

Cuadro Comparativo
AP vaciado de pila AP Por estado
Final
1. Siendo
 Teorema: si L
= N(PN) para
algún AP
Pn=(Q, ∑, r,
el lenguaje aceptado por P por q0,Z0), exite
pila vacía es un AP Pf tal
que L= L(Pf)

 Prueba: PF =
(Q u {p0, pF,
Observaciones
∑, r u {X0},0f,
 Al reconocer por pila vacía, la P0,X0,{PF}),
pila se queda vacía del todo, donde 0F
sin Z0.
 L(P)≠N(P) . Antes de diseñar
un AP, hay que decir si
queremos que acepte por
estado final o por pila vacía,
pues el AP deberá ser distinto.

Ejemplo

PALpar , con AP por pila vacía

Procedimie - Paso 1
nto paso a Selecciono la cadena de entrada: {00001111}
paso del
recorrido - Paso 2
de una
cadena

El autómata a pila comienza en el estado q0 con la

transición 0, Z ; A, extrae Z e inserta A en la cima de la
pila.

El autómata a pila continua en el estado q0, lee la siguiente transición

0, A ; AA ,extrae una A e inserta AA en la cima de la pila.
El autómata a pila continua en el estado q0, lee la siguiente transición
0, A ; AA ,extrae una A e inserta AA en la cima de la pila.

El autómata a pila continua en el estado q0, lee la siguiente transición

0, A ; AA ,extrae una A e inserta AA en la cima de la pila

El autómata a pila continua en el estado q0, lee la siguiente transición

1, A ; λ ,extrae una A e inserta B en la cima de la pila y después pasa
a estado q1.
El autómata a pila continua en el estado q1, lee la siguiente transición
0, A ;B ,extrae una A e inserta B en la cima de la pila.

El autómata a pila continua en el estado q1, lee la siguiente transición

1, A ; λ ,extrae una B e inserta λ en la cima de la pila.

El autómata a pila continua en el estado q1, lee la siguiente transición

0, A ; B ,extrae una A e inserta B en la cima de la pila.
Practica y
verifica lo
aprendido

Lenguaje
Regular

Ejercicios 2: Gramática del autómata

El estudiante realiza paso a paso la gramática del autómata que

seleccionó.
Identifique su gramática (de forma manual) por la derecha o izquierda
y la caracteriza. Debe incluir el diagrama de estados con los
componentes de la gramática asociados a las variables y a las
constantes.

Ejercicio a: Elaborado por JORGE LUISINISTERRA CUNDUMI

EJERCICIO A
TRABAJAR

Identifique su G={(S),(A),S,R} Donde R =

gramática (de
forma manual) S –
por la derecha o aS
izquierda y la S –
caracteriza. bA
A –
bA
A–𝜆

Derivamos
 A = bA
A= b

S = bA
S= bb

S= aS
S= a.. S ..bb
diagrama de
estados con los
componentes de
la gramática
asociados a las
variables y a las
constantes

Ejercicio b: Elaborado por JEFFER DARÍO TIPAZOCA PEÑALOZA

Ejercicio c: Elaborado por JOHANNA MARCELA FERRO GONZALEZ

Ejercicio Grupal: Minimización de autómatas

EJERCICIO A
TRABAJAR

Procedimiento x={q 4 , q 6 } estos son los conjuntos aceptadores

de Tabla de transicion de los estados aceptadores
minimización

y={q 0 , q 1 , q 2 , q 3 , q 5} Estos son los conjuntos de

estados no aceptadores
Tabla de transición de los estados no aceptadores
Encontramos equivalencias, por lo que se forman conjuntos
equivalentes
M = {q 0 , q 1 }
N= { q 2 , q 3 , q 5 }
Quedando los estados de la siguiente manera
x={q 4 }
Y ={q 6 }
M = {q 0 , q 1 }
N= { q 2 , q 3 , q 5 }
Se valida si todos los estados son equivalentes

Como el conjunto M no es equivalente se divide en dos estados

x={q 4 }
M ={q 0 }
M1={q 1 }
 N={q 2 , q 3 , q 5 }
En este proceso se elimina q6 al no hacer parte del autómata
debido a que no se puede transitar por el.
Tabla de transición

Resultado del
autómata
minimizado

Notación formal Identificación de la quíntupla:

del autómata Viene dada por
minimizado δ =( m , 0 )=x
δ =( m ,1 )=m1
δ =( x , 0 )=n
δ =( m 1,0 )=x
δ =( m 1,1 )=n
δ =( n , 0 ) =n
δ =( n , 1 )=x
Tabla de transición

0 1
→M X M1
M1 X N
N N X
X N ϕ
Características Las principales propiedades que distinguen una tupla
del autómata de, por ejemplo, un conjunto, son que en dicha tupla:
parte teórica
1. Un objeto puede contener internamente (por
agregación) a otros objetos.
2. Los objetos aparecen obligatoriamente
representados en un orden dado.
Es de notar que la primera de las características
distingue de lo que se denomina un multiconjunto y la
segunda de los que se denomina un conjunto
ordenado. Esto se puede formalizar dando la siguiente
regla de identidad para dos n-tuplas:
Otra forma de formalizar tuplas es mediante asociación
biyectiva entre la definición de una tupla y una
construcción más primitiva en la teoría de conjuntos tal
y como pares ordenados. Por ejemplo, una n-tupla
(con n> 2) se puede definir como un par ordenado de
su primera entrada y (n−1)-tupla que contenga el resto
de las entradas, de tal forma que:
De acuerdo a la definición formal tenemos

A={{ q 0 , q 1 , q2 , q 3 , q 4 , q 5 , q 6 } , {1,2 } , δ , q 0 , { q 6 , q4 } }

Donde, estados del autómata:

K= { q0 , q1 , q 2 , q3 , q4 , q5 , q6 }

El Lenguaje reconocido por el autómata:

∑={ 0,1 }

Estado inicial:
s=q0

Estados finales o de aceptación:

F=q 4 , q6
Transiciones del autómata:

δ :(q 0 , 1)=q1
δ :(q 0 , 0)=q 4
δ :(q 1, 1)=q5
δ :(q 1, 0)=q 4
δ :(q 2 , 1)=q4
δ :(q 2 , 0)=q3
δ :(q 3 , 0)=q 4
 δ :(q 3 , 0)=q 5
δ :(q 4 , 0)=q2
δ :(q 5 , 0)=q 5
δ :(q 6 , 1)=q3
δ :(q 6 , 0)=q 5

Lenguaje
regular
Gramática del
autómata

G= {S, A, B, C, D, E, F}

En donde RHS

F=0E
F=λ
C=1D
A= 0D
D= λ
B= 1D
F=1C
D= 0B
S= 0D
E= 1D
E= 0E
S=1A
C= 0E
A= 1E
B= 0C
Validación de
cadenas
Practica y
verificar lo
aprendido

Aquí el recorrido lo hace de q0 a q1

Aquí el recorrido lo hace de q1 a q5

Aquí el recorrido lo hace de q5 a q5

Aquí el recorrido lo hace de q5 a q4

Aquí el recorrido lo hace de q4 a q2

Aquí el recorrido lo hace de q2 a q3

Aquí el recorrido lo hace de q3 a q5

 REFERENCIAL BIBLIOGRÁFICAS

 González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes

del Contexto. [Archivo web]. Recuperado
dehttp://hdl.handle.net/10596/18317

 CK-12, (2014). Connecting Science and

Mathematics to Engineering. [OVI]. Recuperadode:
http://www.ck12.org/book/Engineering%3A-An-
Introduction-for-High-School/section/5.3/

 Hernández, R. (2010). Practique la teoría de

autómatas y lenguajes formales. (pp. 1
-124).Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/un
adsp/reader.action?doID=10566114&ppg=10

 Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L.

(2000). Teoría de lenguajes, gramáticas y autómatas para
informáticos. Digitalia. (pp. 127 - 142). Recuperado de
https://bibliotecavirtual.unad.edu.co/login?url=https://search-
ebscohost-

om.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=nlebk&AN=3180 32&lang=es&site=ehost-
live&ebv=EB&ppid=pp_Cover

 Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes

formales. Universidad de Extremadura. Servicio de Publicaciones.
(pp. 39 - 70). Recuperado de
https://bibliotecavirtual.unad.edu.co/login?
url=http://search.ebscohost.com/l ogin.aspx?direct=true&db=