AUTMATAS Y LENGUAJES FORMALES

UNIDAD 2: FASE 2
LENGUAJES INDEPENDIENTES DEL CONTEXTO.

PRESENTADO A
ING. EDGAR ANTONIO CORTES

PRESENTADO POR:
MAURICIO RAMON SAGASTUY VEGA
CDIGO: 1077865116 GRUPO: 301405_19

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERAS
NOVIEMBRE 1 DEL 2017
PITALITO (H)
 INTRODUCCION
Por medio de ejercicios se comprender de manera terica y practica temas
Gramticas Regulares, Lenguajes independientes libres de contexto, sus
propiedades y sus mquinas, rboles de derivacin, Autmatas de pila (PDA),
realizando sus tablas, operaciones matemticas y grficas, dando el desarrollo
y la solucin a los ejercicios planteados.
EJERCICIO 1:

TENIENDO EN CUENTA EL SIGUIENTE AUTMATA REALIZAR EL

PROCESO DE MINIMIZACIN. SE DEBE REALIZAR EL PROCEDIMIENTO
PASO A PASO.

1. REALICE LA DESCRIPCIN (NOTACIN) (CARACTERIZACIN)

MATEMTICA DEL AUTMATA YA MINIMIZADO
MINIMIZACIN DEL AUTMATA
Se realiza primordialmente la eliminacin de todos los
estados que no puede obtener el estado inicial. Lo
anterior procedemos a eliminar todos los estados
1, 5 , 6 , 7 , 8 y el Autmata queda.
Tabla:
Estados a b
q0 q4 q3
q2 q0 q3
q3 q3 q2
q4 q3 q3
Se identifica los estados aceptadores y no aceptadores segn el diagrama y la
tabla
Aceptadores: son los conformados por todos los estados finales de nuestro
autmata
No Aceptadores: son todos los no aceptados de los estados es decir los que no
tomo los Aceptadores:
X= {q3,q4} ACEPTADORES
Y= {q0,q2} NO ACEPTADORES
Se identifica transiciones de aceptados y no aceptados
ACEPTADOS NO ACEPTADOS
X a b Y a b
q3 X Y q0 X X
q4 X X q2 Y X

El Autmata se encuentra en su forma ms

mnima, no estn equivalente en los grupos, y se
representara de esta forma:

OPERACIN
A={{q0,q1,q2,q3,q4},{a,b}, qo{q3{q4}}
K= {q0,q1,q2,q3,q4} Estado

= {a,b} Lenguaje

S= q0 Estado Inicial

F=q3,q4 Estados Finales

2. PLASME LA TABLA DE TRANSICIN DEL AUTMATA.

Estados a b

->q0 q4 q3

q2 q0 q3

# q3 q3 q2

# q4 q3 q3
3. IDENTIFIQUE EL LENGUAJE QUE RECONOCE.
Sabiendo que los lenguajes que se distingen todas las que comienza por a o/y
b = { {, } | A= { a b}.
La expresin regular para el autmatas es:
((( + ) ) ( + ) ) (( + ) )

4. IDENTIFIQUE SU GRAMTICA (DE FORMA MANUAL) POR LA DERECHA

Y CARACTERCELA. DEBE INCLUIR EL DIAGRAMA DE ESTADOS CON
LOS COMPONENTES DE LA GRAMTICA ASOCIADOS A LAS VARIABLES
Y A LAS CONSTANTES.
La gramtica planteada y desarrollada en el
autmata planteado, es la siguiente solucin:

GRAMTICA PARA EL AUTMATA

Utilizaremos los estados con M para q0, q4 como R, q3 como S y q2 como V,
entonces tenemos que nuestra gramtica seria la siguiente:
S
V aS
S aB
R bB
R
R aB
V bA
S bA
M aC
M bB
 EJERCICIO 2

DISEE UN AP QUE LEA EL SIGUIENTE LENGUAJE L = {(0N1M: N>0, M>0}

(CON PILA VACA).

1. DESCRIBA EL AUTMATA EN NOTACIN MATEMTICA

= (, , , , 0 , 0 , )

= {0 , 1 } Conjunto de Estados
= {0,1} Alfabeto de Entrada
= {0 , , a} Alfabeto de Pila
0 Estado Inicial
Simbolo Inicial de la Pila
= {1 } Cojunto de Estados Finales
Regla Transiciones

PROCEDIMIENTO
(0 , 0, ) = (0 , )

(0 , 1, ) = (1 , )

(1 , 1, ) = (1 , a)

(1 , 1, ) = (1 , )

2. DETERMINE EL LENGUAJE QUE RECONOCE EL AP.

= {(01: > 0, > 0}

3. JUSTIFIQUE Y ASOCIO O EVIDENCIE SI EL DISEO ES UN APND O UN

APD
Se obtiene un tipo de cadena, visto que es igual la cantidad de 0 a emparejar
con los 1 por lo tanto es un AUTOMATA DE PILA DETERMINISTA

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).

5. PLASME LAS IMGENES DEL RECORRIDO DE ESE TRACEBACK

PARA CADA MOVIMIENTO EN EL DOCUMENTO. (SE DEBE APOYAR
EN JFLAP) (DOCUMENTE EL PROCESO).
Se comprueba el recorrido total del autmata por cada movimiento donde se
inicia con como apreciamos en la imagen, de seguido aceptar
Se observa que iniciando la transicin el estado q0, con la entrada de valor 0
se encuentra la pila vacia que retoma el elemento

Una vez realizada la primera transicin procedemos a ejecutar la segunda y en

la entrada se obtiene un 0, por lo tanto el retorna a q0.

Una vez ejecutada la segunda transicin procedemos a iniciar la tercera, se

observa que el estado q0 tiene una llegada de 1, obtenido un tope de pila 0, lo
siguiente se cambia el estado q1, como lo muestra en la imagen:

Ya ejecutado las transiciones el resultado de la cadena el autmata e aceptada

obtenido estado q1, con cinta de entrada 1. Extrayendo los caracteres de la pila
vaca en la insercin obtenida, el fondo de la pila es vaca.
RESULTADO TRACEBACK
 CONCLUSIONES
Gracias a Dios por darme la oportunidad de conocer y estudiar en la UNAD, el
tutor por su apoyo y el grupo de tutores y personas que forma equipo se pudo
comprender por medio de ejercicios, trabajando terico y practica dando solucin
matemticas, tablas y diagramas a temas Gramticas Regulares, Lenguajes
independientes libres de contexto, sus propiedades y sus mquinas, rboles de
derivacin, Autmatas de pila (PDA).
 BIBLIOGRAFIA

http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-
lenguajes-formales/ejercicios/ejercicios-tema-6-automatas-a-pila
http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-
lenguajes-formales/ejercicios/ejercicios-tema-6-automatas-a-pila
http://www.exa.unicen.edu.ar/catedras/ccomp1/ApunteAutomatasPila.pdf
https://www.youtube.com/watch?v=VDqII36S7U4
https://www.youtube.com/watch?v=bhjDjCkS9Hk