Está en la página 1de 10

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería


Curso Académico de Autómatas y Lenguajes Formales

UNIDAD 2: FASE 2 -

PRESENTADO POR:

GRUPO:

PRESENTADO A:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

25 de 10de 2018
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

INTRODUCCION

El presente trabajo colaborativo contiene material académico correspondiente al curso


Autómatas y Lenguajes Formales en donde se incluye el desarrollo de la Guía de Actividades
correspondiente a la Unidad No 2 – Fase No 2 como un proceso intermedio del contenido que
abarca la Teoría de Autómatas y lenguajes Formales, recorriendo las temáticas, de una manera
simple objetiva y efectiva, dado el alto contenido analítico, matemático y de comprensión que
tiene las temáticas a las que hace referencia el presente documento.

En esta actividad se manejan las teorías para especificar los aspectos gramaticales de un lenguaje
de programación. Estas teorías nos permiten representar la gramática independiente del contexto,
las gramáticas BNF, los autómatas de pila no deterministas, las expresiones regulares y los
autómatas finitos.

Los lenguajes independientes del contexto, se especifica como la gramática independiente fuera
del contexto; para identificar un lenguaje con frecuencia se usan reglas para precisar si es
correcto sintácticamente, también se usan especificaciones de cómo están conformada una
oración, la forma de conformar una sentencia de asignación si es una variable o un operador de
asignación, estas reglas y especificaciones son similares en esta gramática. Es conjunto extenso
de lenguajes en el cual se encuentran los lenguajes regulares.

Los autómatas finitos no nos permiten resolver muchos problemas, como determinar la
corrección de un programa de ordenador escrito en cualquier lenguaje de programación, o poder
determinar los errores sintácticos de la escritura de cualquier lenguaje humano. Las autómatas a
pila tiene una complejidad intermedia y permite reconocer una coleccione de lenguajes de mayor
interés, se puede decir que son un caso particular de las máquinas de Turing, los autómatas a pila
están ligados a los procedimientos diferenciados y útiles de análisis de las palabras de un
lenguaje y estos son apropiados para los lenguajes independientes del contexto que permiten
expresar las sintaxis de todos los lenguajes de programación.

Se pretende identificar y comprender los conceptos y definiciones fundamentales para el estudio


de lenguajes Independientes del contexto, autómata a pila, autómata a pila por vaciado, autómata
a pila por estados finales, definición de gramática con sus características y tipos de gramáticas.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
OBJETIVOS

Objetivo General

 Identificar las reglas que se utilizan el diseño de autoras a pila sus características y que
tipo de lenguaje la conforma

Objetivos Específicos

 Identificar los tipos de gramáticas utilizadas en un lenguaje.


 Identificar las características y el tipo de lenguaje de los autómatas a pila.
 Identificar qué tipos de problemas se pueden resolver con las autómatas a pila.
 Identificar los pasos para minimizar un autómata determinista.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor


TRABAJAR agregue la imagen

Ejercicio 5.

Caracterizaci En este espacio se realiza:


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

AP = (Σ, Γ, Q, A0, q0, f, F) donde:


Σ:
Γ: “a,b”
Q: q0,q1,q2.
A0: b
q0: q0
F: q1,q2. Ya que q0 es un estado inicial.
f: función de transición.
ơ = (qo, b, ʎ), (q1, b)
ơ = (qo, a, ʎ), (q1, a)
ơ = (q1, ʎ, b), (q2, ʎ)
ơ = (q1, ʎ, a), (q2, ʎ)
ơ = (q2, ʎ, a), (q1, ʎ)
ơ = (q2, ʎ, b), (q1, ʎ)
ơ = (q1, a, ʎ), (q0, ʎ)
ơ = (q1, b, ʎ), (q0, ʎ)

A continuación, se expone la explicación del


autómata.

El autómata pila posee el conjunto de estados


“q0,q1,q2”. Donde “q0” es el estado inicial, y
“q2” es el estado final. El
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
alfabeto de la pila es “a,b”. Y sus transiciones
parten desde “q0” a “q1”, luego de “q1” a “q2”,
luego retrocede “q2” a “q1”, y finalmente de
“q1” a “q0”.

- Realizar un cuadro comparativo de la Equivalencia entre


AP por vaciado de pila y AP por estado final

Cuadro Comparativo: AP del ejercicio

AP por vaciado de pila AP por estado final


El AP inicia sus El AP por estado final,
transiciones desde el finaliza con el símbolo B3
estado q0, con la pila en la cima de la pila, al
vaciada. terminar su última
transición, y al regresar al
estado q0.

Procedimient Realice de manera detallada y grafica el procedimiento


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

F (q, a, A) = {(q1, Z1), (q2, Z2),... (qn, Zn)}

Paso a paso del recorrido de la cadena de entrada


“a”.
- Paso 1: cuando se realiza la transición partiendo desde
“q0” a “q1”, el autómata lee el símbolo de entrada “a”, y
tiene el símbolo “A” en la cima de la pila. A su vez “q1”
estaría leyendo de la misma forma el símbolo de entrada
“a”
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

- Paso 2: El autómata pasará del estado “q1” al estado


“q2”, leyendo el símbolo de entrada “A”. Eliminará el
símbolo A de la pila e introducirá en ella la palabra A1,
quedando la cabeza de A1 en la cima de la pila.

Paso 3: El autómata pasará del estado “q2” al estado “q1”,


leyendo el símbolo de entrada “A1”. Eliminará el símbolo
A1 de la pila e introducirá en ella la palabra A2, quedando
la cabeza de A2 en la cima de la pila.

Paso 4: El autómata pasará del estado “q1” al estado “q0”,


leyendo el símbolo de entrada “A2”. Eliminará el símbolo
A2 de la pila e introducirá en ella la palabra A3, quedando
la cabeza de A3 en la cima de la pila.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
Paso a paso del recorrido de la cadena de entrada
“b”.

- Paso 1: cuando se realiza la transición partiendo desde


“q0” a “q1”, el autómata lee el símbolo de entrada “b” y
tiene el símbolo “B” en la cima de la pila. A su vez “q1”
estaría leyendo de la misma forma el símbolo de entrada
“B”

- Paso 2: El autómata pasará del estado “q1” al estado “q2”


leyendo el símbolo de entrada “b”. Eliminará el símbolo B
de la pila e introducirá en ella la palabra B1, quedando la
cabeza de B1 en la cima de la pila.

- Paso 3: El autómata pasará del estado “q2” al estado “q1”


leyendo el símbolo de entrada “B1”. Eliminará el símbolo
B1 de la pila e introducirá en ella la palabra B2, quedando
la cabeza de B2 en la cima de la pila.

Paso 4: El autómata pasará del estado “q1” al estado “q0”


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales
leyendo el símbolo de entrada “B2”. Eliminará el símbolo
B2 de la pila e introducirá en ella la palabra B3, quedando
la cabeza de B3 en la cima de la pila.

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


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

5 Cadenas validadas por el autómata


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

CONCLUSIONES

El trabajo descrito representa un aporte significativo a la teoría de gramáticas


independientes del contexto, con el trabajo desarrollado fue posible debatir y desarrollar
los ejercicios planteados sobre autómatas con pila y gramáticas a través de la realización
de ejercicios de aplicación donde evidenciamos el proceso para la caracterización
matemática del autómata, plasmamos la tabla de transición del autómata indicado,
logramos la identificación del lenguaje que reconoce un determinado autómata, además
de determinar los estados distinguibles y no distinguibles, se evidencia el proceso de
minimización mediante la eliminación de estados, mostrando las transiciones se eliminan
y cuáles van a ser re direccionadas, se logró mediante el ejercicio la identificación de la
gramática de un autómata de forma manual y caracterización.

Mediante la actividad propuesta el grupo realizo el diagrama de estados con los


componentes de la gramática asociados a las variables y a las constantes de un autómata,
el ejercicio permitió el reconocimiento de autómatas con pila, definiendo si era
determinista o no determinista, se utilizó como herramienta de apoyo el software JFLAP
para su representación así como la simulación de lectura de cadenas mediante
“Traceback” para las transiciones, tomando evidencia del proceso para documentarlo,
finalmente como grupo se logró la apropiación de todos estos nuevos conocimientos que
esperamos sean de aplicación es nuestro entorno profesional.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Curso Académico de Autómatas y Lenguajes Formales

REFERENCIAS BIBLIOGRAFIA

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas
Para Informáticos. Recuperado
de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&la
ng=es&site=edslive&ebv=EB&ppid=pp_Cover

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/unadsp/reader.action?docID=10566114&ppg=10

Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes


formales. (pp. 7-797). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6

Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62).


Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351

Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 207-232). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=260&docID=1075154
3&tm=1481476339478