AUTOMATAS Y LENGUAJES FORMALES

CDIGO: 301405

TRABAJO COLABORATIVO FASE 2

Presentado a:
MAGDA LORENA ZUIGA
Tutor

Entregado por:
Nombres y Apellidos : Juan Eduardo Gomez
Cdigo: 1.101.689.248

Grupo: 301405_30

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
01 nov. 16
BUCARAMANGA

INTRODUCCIN
Los lenguajes regulares son la buena manera de validar campos del texto tales
como nombres, las direcciones, los nmeros de telfono, y otra informacin del
usuario. Podemos utilizarlas para obligar la entrada, aplicar reglas del formato, y
mucho ms; hay varios mtodos de cmo validar informacin y entre ellos, se
encuentran los Autmatas de Pila que contienen las expresiones regulares, que
tienen parecido a una especie de lenguaje que se puede usar para buscar,
remplazar y sobreponer ciertos patrones en un texto, trabajable casi de manera
igual que los Autmatas Finitos y no Finitos. Un autmata con pila o autmata de
pila o autmata a pila o autmata apilador es un modelo matemtico de un
sistema que recibe una cadena constituida por smbolos de un alfabeto y
determina si esa cadena pertenece al lenguaje que el autmata reconoce. El
lenguaje que reconoce un autmata a pila pertenece al grupo de los lenguajes de
contexto libre en la clasificacin de la Jerarqua de Chomsky.

OBJETIVOS
OBJETIVO GENERAL

Reconocer los lenguajes independientes del contexto y sus diversas

aplicaciones.

OBJETIVOS ESPECIFICOS

Estudiar la aplicacin de los lenguajes regulares y los autmatas finitos.

Adquirir las habilidades necesarias para desarrollar autmatas y mquinas
que reconozcan lenguajes o computen funciones.
Distinguir los diferentes tipos de lenguajes formales existentes.
Adquirir el conocimiento y competencia para poder recrear autmatas
sencillos en un simulador. De igual forma verificar el lenguaje que reconoce.

Parte 2:
Disee un AP que dentro de su lenguaje L ={ (aUb) + (a|b)} ;es decir todas las
combinaciones posibles de cadenas conformadas por los smbolos (a) (b) o
conjunto universal de estrellas de kleene, (con pila vaca): exceptuando o
rechazando cadenas como:
Cadenas no vlidas.
Las que estn compuestas por uno o muchos smbolos a: ejemplo: {(a) (aa)
(aaa) (aaaa) (aaaaa) (aaaaaa)...}
En el diseo que haga es libre determinar si acepta la cadena vaca o no.
1. Describa el autmata en notacin matemtica.
Rta:
M =(Q, V , , ,q 0 , z 0 , F )

Nuestro Autmata

Q={q0 , q1 }

Conjunto de estados del autmata

V ={a , b }

Alfabeto utilizado en el autmata

={z 0 , 1, }

Alfabeto de la pila

q0

Estado inicial del autmata

F=q0

Estado final del autmata

={q0 , q1 }x {a , b }

Funcin de transicin del autmata

2. Determine el lenguaje que reconoce el AP.

Rta:
n
L={a b n>0 }
3. Justifique y asocio o evidencie si el diseo es un APND o un APD
4. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las
columnas para un AP son: El estado en que se encuentra el autmata, lo
que falta por leer de la palabra de entrada, y el contenido de la pila).
Rta:
estado
inicio
q1
q0

por leer
pila
abbbabba
b
1
bbbabbab bbabbab -

q0
babbab
q0
abbab
1
q1
bbab
q0
bab
q0
ab
1
q1
b
5. Plasme las imgenes del recorrido de ese Traceback para cada movimiento
en el documento. (Se debe apoyar en JFLAP) (Documente el proceso)

En esta imagen se muestra el inicio del recorrido de la palabra ingresada, se

muestra que al leer la letra a automticamente pasa al estado q1 e ingresa un
elemento a la pila.

En esta imagen se muestra cuando al leer la letra b vuelve al estado q0 y la pila

vuelve a quedar vaca.

En esta imagen se muestra que en el estado q0 permanece al pasar a la segunda

b.

En esta imagen igual que en la anterior se mantiene en el estado q0 al leer la

tercera b consecutiva.

En esta imagen se confirma que al pasar a la siguiente letra a se vuelve a pasar

al estado q1 y la pila vuelve a ser modificada.

En esta imagen al leerse la siguiente b igualmente se devuelve al estado q0 y se

vuelve a vaciar la pila.

A esta imagen se vuelve a mostrar que al tomar el valor de la siguiente b se

mantiene en el estado q0.

En esta imagen al tomar nuevamente la letra a retorna al estado q1 y la pila

vuelve a variar.

Ya en esta imagen se muestra que al llegar a validar la ltima letra de nuestro

nuestra palabra ingresada se devuelve al estado q0 que es aceptador, la pila
vuelve a quedar vaca y se concluye que ha sido aceptada sin ningn problema
6. Muestre el diagrama correspondiente de estados.

7. Determine si su diseo acepta o no la cadena vaca y explique por qu en

cualquier caso, demostrando el recorrido o comportamiento de la Pila para ese
evento. (Evidencindolo).
Rta: El autmata desarrollado acepta la cadena vaca debido a que el estado
inicial es el mismo estado de aceptacin y a que la pila no sufre ningn cambio en
sus elementos, en la siguiente imagen se confirma dicha informacin:

CONCLUSIONES
Tal como se observa en el documento base de la catedra lgica matemtica se
puede comprender que servir para desarrollar competencias para expresar
razonamientos lgicos en lenguaje simblico.
El uso del software JFLAP sin lugar a dudas presenta muchas herramientas que
permite simular y comprender cadenas fcilmente y a la vez facilita las practica del
contenido general del curso.

BIBLIOGRAFIA

Modulo Logica Matematica, Autor Georffrey Acevedo Gomez, UNAD,

Medellin, 2012