UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

Grupo 301405_3

Trabajo Fase 2

Lenguajes Regulares
NOVIEMBRE 2017

Gramticas Regulares, Lenguajes independientes libres de contexto, sus propiedades

y sus mquinas, rboles de derivacin, Autmatas de pila (PDA).

KENIA PAOLA ARIZA PUCHE

VICTOR MANUEL SANDOVAL

JUAN PABLO MARCIAL

WILMER MOSCOTE

JOSE ALEJANDRO BUITRAGO

GRUPO: 3

TUTOR

Edgar Antonio Cortes

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

INGENIERIA DE SISTEMAS

VALLEDUPAR
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

INTRODUCCIN

Dentro del Curso de Autmatas y Lenguajes Formales en la Fase II, nos adentramos
en la Unidad II, donde se plantea la importancia de Debatir y Desarrollar los
ejercicios planteados sobre autmatas con pila y gramticas.

Se trata de continuar con la estrategia de aprendizaje basada en problemas (ABP):

tal como lo expresa la gua de esta actividad: El aprendizaje basado en problemas
representa una estrategia eficaz y flexible que, a partir de lo que hacen los
estudiantes, puede mejorar la calidad de su aprendizaje universitario en aspectos
muy diversos. Por lo cual en el presente trabajo colaborativo se desarrolla diversas
competencias, dentro de las que se resuelven problemas, se toma decisiones, se
trabaja en equipo, se utiliza la argumentacin mediante la comunicacin, se
desarrolla concretamente la precisin, revisin y tolerancia a partir de la resolucin
de los dos problemas que plantea la presente actividad grupal.

Es as que cada uno de los integrantes del grupo asume con responsabilidad el
hecho de resolver cada ejercicio y lo publica en el foro para realizar el respectivo
debate que genere autoevaluacin y autocritica en la fundamentacin del
aprendizaje. Una vez agotado el debate grupal, se procede a la consolidacin de
un nico trabajo el cual es el resultado de opiniones y procesos de desarrollo
diferentes que al final concluye una respuesta positiva grupal.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

Ejercicio 1:

Teniendo en cuenta el siguiente autmata realizar el proceso de minimizacin. Se debe realizar el

procedimiento paso a paso.

Para el autmata ya minimizado:

1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata ya minimizado.

Solucin

Teniendo en cuenta el autmata anterior, se identifica que:

Quntupla ( K, ,,S,F)

Donde:

M= {q0, q1, q2, q3, q4, q5, q6, q7, q8}, {a,b}, q0 { q3, q4, q7}

K= {q0, q1, q2, q3, q4, q5, q6, q7, q8}

= {a,b}

S = {q0}

F = {q3, q4, q7}

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

2. Plasme la tabla de transicin del autmata.

Donde:
: {q0, q1, q2, q3, q4, q5, q6, q7, q8} * {q3, q4, q7} {q0, q1, q2, q3, q4, q5, q6, q7, q8} Transiciones:

(q0, a) = q4
(q0, b) = q3
(q1, a) = q4
(q1, b) = q1
(q2, a) = q0
(q2, b) = q3
(q3, a) = q3
(q3, b) = q2
(q4, a) = q3
(q4, b) = q3
(q5, a) = q3
(q5, b) = q6
(q6, a) = q1
(q6, b) = q3
(q7, a) = q1
(q7, b) = q7
(q8, a) = q7
(q8, b) = q5

Lo primero que hacemos es eliminar el estado q8 por ser un estado no alcanzable (no hay ninguna
flecha de entrada y no es el inicial).
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

Lo segundo que hacemos es eliminar q7 por ser un estado final inalcanzable:

Lo tercero que hacemos es eliminar el estado q5 por ser un estado inalcanzable:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

Lo cuarto que hacemos es eliminar el estado q6 por ser un estado inalcanzable:

Lo quinto que hacemos es eliminar el estado q1 por ser un estado inalcanzable:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

Ahora procedemos hallar:

X = {q3, q4} Aceptadores

Y = {q0, q2} No Aceptadores

Validando el conjunto X

X = {q3, q4}

Y = {q0, q2}

= {a,b}

X a b
q3 X Y No son equivalentes
q4 X X

Validando el conjunto Y

Y = {q0, q2}

X = {q3, q4}

= {a,b}

Y a b
q0 X X No son equivalentes
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

q2 y X

En donde:

Desaparece X y se generan dos nuevos conjuntos:

A= {q3}
B= {q4}
Desaparece Y y se generan dos nuevos conjuntos:
D= {q0}
E= {q2}

Validando el conjunto A

A a b
q3 A E

Validando el conjunto B

B a b
q4 A A

Validando el conjunto D

D a b
q0 B A

Validando el conjunto E

E a b
q2 D A

Conjuntos generados:
A= {q3}
B= {q4}
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

D= {q0}
E= {q2}
Nueva tabla de transicin

a b
D B A
#A A E
#B A A
E D A

Quntupla ( K, ,,S,F)

Donde:

M = {D, E, A, B}, {a, b}, D { A, B}

K= {D, E, A, B}

= {a, b}

S = {D}

F = {A, E}

3. El Lenguaje que reconoce.

L= { {a,b} * | = { () () }}
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

(L) Lenguaje
() Todas las posibles cadenas
() que corresponden
(a ,b) los smbolos del alfabeto
(*) que estn incluidos en el conjunto universal
L=(a, b)
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.

M= {D, E, A, B}, {a, b},, {D=aB, D= bA, B=bA, B=bA, A=aA, A=bE, E=aD, E=bA, B=, A= }, D)

Comenzamos con el estado inicial:

D aB
D bA
B aA
B bA
A aA
A bE
E aD
E bA
B
A
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

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

M=((q0,q1,q2,q3),(0,1),(1, 2, 3, 4, 5, 6),(q0),(Z),(q2,q3))

Transiciones

1(q0, 0, push 0)={(q1,Z)},

2(q1,0, push 0)={(q1, 0)}
3(q1,1,pop 0)={(q2,0)}
4(q2,0,pop 0)= {(q2,0)}
5(q2,0, pop Z)={(q3,Z)},
6(q3,0,pop Z)={(q3,Z)}

2. Determine el lenguaje que reconoce el AP.

El lenguaje es
= {( : > , > }
= =
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

= =

{, , . }

3. Justifique y asocio o evidencie si el diseo es un APND o un APD

El diseo es un APD autmata de pila determinista debido a que este no tiene referencias
circulares y para cada elemento de entrada pasa a un solo estado como se observa en
Ilustracin 1. Diagrama JFlap.

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

Ilustracin 1. Diagrama JFlap

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

Ilustracin 2. Traceback cadena 0011

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

5. Plasme las imgenes del recorrido de ese Traceback para cada movimiento en el documento. (Se
debe apoyar en JFLAP) (Documente el proceso).

En la Ilustracin 3. Estado q0 con pila vacia y entrada 0. Se observa que la pila se encuentra vaca el
primer el elemento de la cadena es 0 por lo tanto se apila(push) 0 y se traslada al el estado q1

Ilustracin 3. Estado q0 con pila vacia y entrada 0

En la Ilustracin 4. Estado q1 con tope de pila en 0 se observa que el elemento de entrada es 0 y el
tope de pila est en 0 por lo tanto se apila(push) 0 y se mantiene en el estado q1

Ilustracin 4. Estado q1 con tope de pila en 0

En la Ilustracin 5. Estado q1 con tope de pila 0 y llegada 1 se muestra que llega 1 el tope de la pila
est en 0 por tanto se desapila(pop) 0 y pasa al estado q2

Ilustracin 5. Estado q1 con tope de pila 0 y llegada 1

En Ilustracin 6. Estado q2 con llegada 1 y tope de pila en 0 se observa que llega un 1 y que el tope
de pila est en 0 por lo tanto se desapila(pop) 0 y se mantiene en el estado q2, y el estado q3
modela el hecho de que hay ms 1s que 0s.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

Ilustracin 6. Estado q2 con llegada 1 y tope de pila en 0

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Grupo 301405_3

BIBLIOGRAFIA

Brookshear, G. (1993). Teora de la Computacin, Addison Wesley

Iberoamericana.
Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes,
Gramticas Y Autmatas Para Informticos. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&
AN=318032&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover
Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de autmatas
y lenguajes formales. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
498456&ppg=6
Milln, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp.
73-126). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=108
44351
Gonzlez, A. (2017). Minimizacin de un autmata. Recuperado de:
https://www.youtube.com/watch?time_continue=9&v=eOynYG8Ibk0