You are on page 1of 17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA


AUTOMATAS Y LENGUAJES FORMALES
2017

AUTOMATAS Y LENGUAJES FORMALES


TRABAJO COLABORATIVO FASE 2

DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS SOBRE


AUTMATAS CON PILA Y GRAMTICAS

PRESENTADO POR:

CARLOS ORLANDO ROJAS


FRANKLIN JOAN PUENTES
JUAN CAMILO ALFONSO
DANIEL MEJA LIZARAZO

GRUPO:

301405_62

TUTOR
CESAR JIMNEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD


ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
ABRIL DE 2017
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

INTRODUCCIN

El presente trabajo colaborativo contiene material acadmico correspondiente al


curso Autmatas y Lenguajes Formales en donde se incluye el desarrollo de la
Gua de Actividades correspondiente a la Unidad No 2 Fase No 2 como un
proceso intermedio del contenido que abarca la Teora de Autmatas y lenguajes
Formales, recorriendo las temticas, de una manera simple objetiva y efectiva,
dado el alto contenido analtico, matemtico y de comprensin que tiene las
temticas a las que hace referencia el presente documento.

Se pretende identificar y comprender los conceptos y definiciones fundamentales


para el estudio de lenguajes Independientes del contexto, autmata a pila,
autmata a pila por vaciado, autmata a pila por estados finales, definicin de
gramtica con sus caractersticas y tipos de gramticas.

Para el cumplimiento de estos objetivos propuestos se realiza una investigacin


terica individual la cual fue compartida en el foro de trabajo colaborativo, cuya
evidencia es una presentacin de los temas propuestos, posteriormente se realiza
el desarrollo de dos ejercicios donde se aplican los temas de la unidad dos, el
primero corresponde a la minimizacin e identificacin de un autmata y el
segundo a la construccin y simulacin de un autmata con pila, estos ejercicios
son los evidenciados en su desarrollo a continuacin.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

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. (Antes de


minimizar)

De acuerdo a la definicin formal tenemos

= {{0, 1, 2, 3, 4, 5 , 6 , 7 }, {1,2}, , 0 , {7 , 4 }}

Donde, estados del autmata:


= {0, 1, 2, 3, 4, 5 , 6 , 7 }

El Lenguaje reconocido por el autmata:

= {1,2}

Estado inicial:
= 0

Estados finales o de aceptacin:


= 4 , 7
Transiciones del autmata:

: (0, 1) = 1
: (0, 2) = 2
: (1, 1) = 5
: (1, 2) = 3
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

: (2, 1) = 6
: (2, 2) = 4
: (3, 1) = 7
: (3, 2) = 1
: (4, 1) = 1
: (4, 2) = 5
: (5, 1) = 3
: (5, 2) = 7
: (6, 1) = 4
: (6, 2) = 1
: (7, 1) = 1
: (7, 2) = 2

2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)

Tabla de transiciones
Entradas
Estados
1 2
q0 q1 q2
q1 q5 q3
q2 q6 q4
q3 q7 q1
q4 q1 q5
q5 q3 q7
q6 q4 q1
q7 q1 q2

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

Lenguaje generado por el autmata

L= {todas las cadenas que empiezan por un {1} o {2} y terminan en un {1} o
{2}}, con al menos tres elementos si comienza por 2 o tres elementos si
comienza por 1, sobre el alfabeto {1,2}
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

4. Identifique los estados Distinguibles y los No distinguibles

Estados Distinguibles

= {4, 7 }

Estados no Distinguibles
= {0, 1, 2, 3 , 5 , 6 }

5. En el proceso de eliminacin de estados, identifique que transiciones se eliminan y


cules se re direccionan. Muestre la tabla de estados distinguibles.

Estados equivalentes para primer grupo


= {4, 7 }
1 2
q4 B B
q7 B B
Estados equivalentes grupo B
= {0, 1, 2, 3 , 5 , 6 }

1 2
q0 B B
q1 B B
q2 B A
q3 A B
q5 B A
q6 A B

Se forman nuevos grupo luego de validacin de los dos conjuntos iniciales

= {4, 7 }
= {0, 1 }
= {2, 5 }
= {3 , 6 }

Tablas de los nuevos conjuntos


= {4, 7 }
1 2
q4 B C
q7 B C
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

= {0, 1 }
1 2
q0 B C
q1 C D

= {2, 5 }
1 2
q2 D A
q5 D A

= {3 , 6 }
1 2
q3 A B
q6 A B

Nuevos conjuntos son generados, q0 ingresa al conjunto A y se forma conjunto


de inicio y final E.

= {4, 7 , 0 }
= {1 }
= {2, 5 }
= {3 , 6 }

Revisando los conjuntos y sus tablas

= {4, 7 , 0}
1 2
q4 B C
q7 B C
q0 B C

= {1 }
1 2
q1 C D

= {2, 5 }
1 2
q2 D E
q5 D E
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

= {3 , 6 }
1 2
q3 E B
q6 E B

Mediante el procedimiento de la minimizacin encontramos que el estado q0


pertenece al conjunto A formndose y se forma el conjunto E, en este se comporta
como un estado inicial tambin estado de aceptacin, la tabla de transiciones es
la siguiente:

Estados Entradas
1 2



Autmata generado

Realice la descripcin (notacin) (caracterizacin) matemtica del autmata ya


minimizado.

M = (K, , , s, F)

= {{, , , }, {1,2}, , {}}


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

Estados del autmata


= {, , , }

Lenguaje reconocido por el autmata


= {1,2}
Estado inicial

=
Estados de aceptacin
=

Transiciones:
: (, 1) =
: (, 2) =
: (, 1) =
: (, 2) =
: (, 1) =
: (, 2) =
: (, 1) =
: (, 2) =

Identifique El Lenguaje que reconoce

L = { {0, 1} | = todas las cadenas que empiezan por un {1} o {2} y terminan
en un {1} o {2}}, con al menos tres elementos si comienza por 2 o tres elementos si
comienza por 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.

Regla Gramtica

2
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

V = es un alfabeto de variables

= Es un alfabeto de constantes

R = es el conjunto de reglas es un subconjunto finito

S = el smbolo inicial y un elemento de V

La gramtica regular es lineal por la derecha, ya que todas las producciones se


presentan de la forma

A Ab

A a
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

Ejercicio 2

Disee un AP que lea el siguiente lenguaje L = {(ab*) | (c*d*)} ; es decir todas las
combinaciones posibles de cadenas conformadas por los smbolos (a) (b*) o
(c*)(d*) (con pila vaca).
1. Describa el autmata en notacin matemtica

Conjunto de estados del autmata


Q= {q1, q2, q3, q1}
Alfabeto
= {a, b, c, d}
Contenido de la Pila
= {V}
Estado Inicial
s=q1
Smbolo Inicial de pila
Z= V
Estados de aceptacin: q2, q4
Funcin delta, donde e es psilon
1. ((q1,a,V),(q2,e))
2. ((q2,b,e),(q2,e))
3. ((q1,e,V),(q3,e))
4. ((q3,c,e),(r,e))
5. ((q3,d,e),(q4,e))
6. ((q4,d,e),(q4,e))

2. Determine el lenguaje que reconoce el AP.

Gramtica libre de contexto que representa el lenguaje del autmata:

3. S->aB|cC|e
4. B->bB|e
5. C->cC|D
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

6. D->dD|e

= { ()|(cd) | = todas las cadenas que empiezan por el smbolo a;


seguidas de una o muchas cadenas con el smbolo b o seguida de cadenas
conformadas por ninguna o muchas c y d}

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

Es un Autmata de Pila Determinista (APND) ya que se puede notar al ubicarnos


en el estado inicial q1 tiene un paso hacia el estado q2 lee el smbolo vaco. Es
decir que cuando la entrada contiene el smbolo a, se ejecuten dos posibles
caminos, uno hacia el estado q2 con el smbolo a y el que va al estado q3 con el
smbolo vaco.

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).
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

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

Introducimos la cadena aabb

Toma dos caminos a q2 por a y q3 (leyendo el smbolo vacio)


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

La cadena es rechazada

Simulacin de abbb

Se desprende hacia dos estados por a y por vacio


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

La ejecucin de smbolo vaco no puede hacer nada ms por lo que se rechaza

Por otra parte sigue teniendo smbolos que leer y acepta la cadena
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

Simulamos la cadena cddd

Toma por la transicin vaca hacia a q3, donde lee c y luego a q4 al leer d

Itera leyendo d nuevamente y la cadena es aceptada


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

CONCLUSIONES

El trabajo descrito representa un aporte significativo a la teora de gramticas


independientes del contexto, con el trabajo desarrollado fue posible debatir y
desarrollar los ejercicios planteados sobre autmatas con pila y gramticas a
travs de la realizacin de ejercicios de aplicacin donde evidenciamos el proceso
para la caracterizacin matemtica del autmata, plasmamos la tabla de transicin
del autmata indicado, logramos la identificacin del lenguaje que reconoce un
determinado autmata, adems de determinar los estados distinguibles y no
distinguibles, se evidencia el proceso de minimizacin mediante la eliminacin de
estados, mostrando las transiciones se eliminan y cules van a ser re
direccionadas, se logr mediante el ejercicio la identificacin de la gramtica de un
autmata de forma manual y caracterizacin.

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


componentes de la gramtica asociados a las variables y a las constantes de un
autmata, el ejercicio permiti el reconocimiento de autmatas con pila, definiendo
si era determinista o no determinista, se utiliz como herramienta de apoyo el
software JFLAP para su representacin as como la simulacin de lectura de
cadenas mediante Traceback para las transiciones, tomando evidencia del
proceso para documentarlo, finalmente como grupo se logr la apropiacin de
todos estos nuevos conocimientos que esperamos sean de aplicacin es nuestro
entorno profesional.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2017

BIBLIOGRAFIA

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

Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes,


Gramticas Y Autmatas Para Informticos. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2048/login?user=proveedor&pass=danue
0a0&url=http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db
=nlebk&AN=318032&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

Hernndez, R. (2010). Practique la teora de autmatas y lenguajes


formales. (pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
566114&ppg=10

Kelley, D. (1995). Teora de Autmatas y Lenguajes Formales, Prentice Hall


Hispanoamericana.

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