UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Actividad No. 10.

TRABAJO COLABORATIVO No. 2

AUTOMATAS Y LENGUAJES FORMALES Tutor: JAIME JOSE VALDES Grupo: 301405_76

PRESENTADO POR: EDWIN ALBERTO PALMA LEON Cd. 86.054.717 palmeras28@hotmail.com

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

MAYO 2013

Trabajo Colaborativo No. 2

Pgina 1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

INTRODUCCION

En este trabajo desarrollares ejercicios correspondientes a la unidad No.2 del curso, cuya temtica es lenguajes independientes del contexto. Desarrollaremos ejercicios de gramticas regulares, autmatas de pila, ya que con estos afianzaremos los conocimientos vistos durante el curso, y as mejorar la prctica, compresin y manipulacin de los mismos.

Trabajo Colaborativo No. 2

Pgina 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

OBJETIVOS

Objetivo general Reconocer las gramticas regulares y su aplicacin.

Objetivos especficos

Analizar la aplicacin de las gramticas regulares. Adquirir las habilidades necesarias para desarrollar ejercicios correspondientes a gramticas regulares, asimismo plasmarlos en el diagrama de Moore, arboles de derivacin y tabla de transicin de los mismos. Aplicar ejercicios para el manejo y diseos de autmatas de pila. Adquirir el conocimiento y aprender el proceso de minimizacin de un autmata.

Trabajo Colaborativo No. 2

Pgina 3

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

EJERCICIOS A DESARROLLAR:
1. CALCULAR EL AUTMATA MNIMO CORRESPONDIENTE AL SIGUIENTE AUTMATA FINITO.

ACTIVIDADES ANTES DE MINIMIZAR. 1. Identifique los componentes del autmata (que tipo de tupla es)

Es una mquina de estados finitos M, la cual es un quntuplo (Q, , , s, F) Q = es un conjunto de identificadores (smbolos) de estados = {a,b} es el alfabeto de entrada q0= es el estado inicial q0 , q2 = son estados finales = Q x Q Un conjunto de smbolos (a,b)

Trabajo Colaborativo No. 2

Pgina 4

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

2. Identifique la tabla de transicin

3. Identifique el lenguaje que reconoce L = { { a,b } } Y las posibles cadenas

4. Encuentre la expresin regular vlida. (Compruebe una cadena vlida de esa expresin regular en el simulador). Identifique sus componentes
ER=((bba*b+ba(ba)*bba*b)*(a+ba(ba)*ba*b)(a+b(ba)*ba*b)*b(ba)*bba*b)*(bba*b+ba(ba)*bb a*b)*(a+ba(ba)*ba*b)(a+b(ba)*ba*b)* L= CADENA VALIDA COMPROBACION PASO A PASO

Trabajo Colaborativo No. 2

Pgina 5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Trabajo Colaborativo No. 2

Pgina 6

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Trabajo Colaborativo No. 2

Pgina 7

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

5. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus componentes y como se escriben matemticamente). Justifquela si la convierte a la Izquierda o a la derecha. Plsmela en el simulador y recrela. (Debe quedar documentado en el texto el paso a paso que realizan en el simulador) Paso 1

Paso 2

Paso 3 gramtica generada

Trabajo Colaborativo No. 2

Pgina 8

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

6. Realice el rbol de Derivacin de esa gramtica Para la realizacin de esta gramtica, la aplicamos con la cadena (babab)

Trabajo Colaborativo No. 2

Pgina 9

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

7. Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de su afirmacin No es una gramtica ambigua, se trata de una gramtica univoca, ya que es una gramtica lineal de libre contexto por la derecha, que tiene asociado solo un rbol de derivacin no tiene rboles.

8. Si el rbol de transicin es demasiado grande, a su criterio seleccione una regla en la que se detenga por cualquier rama (izquierda o derecha) y plsmelo hasta ah. Es un autmata muy grande, ya que tiene dos estados de aceptacin y debido a esto no se puede no se puede plasmar.

Trabajo Colaborativo No. 2

Pgina 10

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Y jflap, dice que tiene muchos estados creados por lo consiguiente no deja realizar esta transicin.

9. Explicar el proceso de Minimizacin (que estados se suprimen y porque). - primer paso se elimina el estado q2, y se elimina las transacciones de salida del estado q2 y las transacciones de llegada del estado q2, se direccionan al estado siguiente.

No se pueden eliminar mas estados, porque al suprimir mas estados las cadenas iniciales, probadas en el primer automata, no todas tienen aceptacion si suprimimos mas estados.

Trabajo Colaborativo No. 2

Pgina 11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

10. Que transiciones se reemplazan o resultan equivalentes. Se remplaza el estado q2, que es de aceptacin y por eso, se empiezan a comparar los estados de iniciacin y de aceptacin de acuerdo a las reglas de minimizacin y en este caso se elimina el esto de aceptacin q2. 11.Escribir la funcin de transicin del nuevo autmata.

12.Identificar la expresin regular (explicarla en la lectura matemtica que se le debe hacer).

Trabajo Colaborativo No. 2

Pgina 12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Posible expresion regular, ya que el jflap, no expresa o genera el expresion regualar porque dice que hay muchos estados creados. ER = (bab(a)*b)+(bb(a)*b 13.Compruebe una cadena vlida para esa expresin regular.

14.Identificar el lenguaje que reconoce y las posibles cadenas. L = { { a,b } } Y las posibles cadenas RECONOCE LAS MISMAS CADENAS DEL AUTOMATA INICIAL

15.Identificar su gramtica. Demustrela para una cadena vlida del autmata.

Trabajo Colaborativo No. 2

Pgina 13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Autmata generado, a partir de la gramtica anterior, donde se prueban cadenas validas para este nuevo autmata.

16.Expresarlo o graficarlo con su respectivo diagrama de Moore.

Diagrama de Moore, del autmata generado desde la gramtica anterior.

Trabajo Colaborativo No. 2

Pgina 14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

17.Identificar sus tablas de Transicin (plasmarlas)

18.Plasmar los pasos de minimizacin en el simulador y capturar los procesos en imgenes para ser documentadas en el texto. Los pasos de minimizacin no se pudieron plasmar en el simulador, porque el autmata es demasiado grande. Los pasos de minimizacin se describen a continuacin. 1. se aplica la regla de comparacin de los estados inicial y estados de aceptacin. 2. Se determina el estado a eliminar 3. Las funciones de transicin de salida del estado a eliminar se eliminan, estas transiciones
Pgina 15

Trabajo Colaborativo No. 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

4. Las funciones de transicin de llegada al estado a eliminar se re direccionan al estado siguiente al estado a eliminar. 5. Se comprueban que las cadenas que aceptaba el autmata original, las acepte este nuevo autmata minimizado. 6. Se comparan si hay ms estados equivalentes.

2. CONSTRUYA EL AUTMATA DE PILA CORRESPONDIENTE Disee un AP que acepte el Lenguaje L = {aibck } donde i,k >= 1 y i >=k L = { a1bc1} AP = ( Q,V,,,q0,Z0,F) Q= { q0,q1 } V = { a,b,c} = { Z0, , 1}

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

( q0,a,Z0 ) = { (q0, 1, Z0)} ( q0,b,Z0 ) = { (q1, )} ( q1,c,Z0 ) = { (q1, )} ( q1,c,Z0 ) = { (q1, )} 20. Plasme las imgenes y capturas en el documento. (Documente el proceso)

Trabajo Colaborativo No. 2

Pgina 16

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Trabajo Colaborativo No. 2

Pgina 17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

PARA UNA CADENA NO VALIDA (abbc)

Trabajo Colaborativo No. 2

Pgina 18

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

21. Muestre el diagrama correspondiente de estados. Estado Por leer q0 aabcc q0 abcc q1 bcc q1 cc q1 c Pila Z0 1 111 11 1

22. Identifique los contenidos de la pila y el estado de parada. Realcelo con una cadena valida y con una cadena rechazada. Para una cadena valida (aabcc)

Trabajo Colaborativo No. 2

Pgina 19

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

3. CONSTRUCCIN DE AUTMATAS: PARA EL SIGUIENTE AUTMATA:

23. Identifique la tupla que lo define. A = (Q, , f, q 0 , F)

dnde:

Q es un conjunto de estados. es el alfabeto de entrada f: Q X Q es la funcin (total) de transicin. q 1 Q es el estado inicial. q5Q es el conjunto de estados finales.
Trabajo Colaborativo No. 2 Pgina 20

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

24. Que lenguaje reconoce al autmata. Identifique su ER

El lenguaje aceptado es = { a,b, }

25. Identifique si es AFD AFND. (Tenga en cuenta todas las variables a tener en cuenta para calificar un autmata o para clasificarlo como tal) Es un autmata AFND, ya que el estado q4, tienes dos salidas una por ( q4, b ) = q4 y ( q4, b ) = q5 , ya que dicho estado tiene ms de una transicin. 26. Obtenga la gramtica Regular para el Lenguaje que representa). Confrntela con la ER con una cadena vlida ER = aa*b+ab*b

4. GRAMTICAS Sean L1 el lenguaje generado por la gramtica G1

Trabajo Colaborativo No. 2

Pgina 21

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

27. Obtener el autmata Finito para la gramtica (plasme los diagramas de Moore)

28. Identifique el Lenguaje que generan. Identifique si es lineal por la derecha o la izquierda.
El lenguaje generado es = {,S,Z }

El lenguaje se genera por la izquierda 29. Verifique si la cadenas a3b, ab3, aa3b, abab pueden ser generada o no. Justifquelas por qu. CADENA a3b no es aceptada por el estado final

Trabajo Colaborativo No. 2

Pgina 22

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

CADENA ab3 no es aceptada por el estado final

Trabajo Colaborativo No. 2

Pgina 23

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

CADENA aa3b no es aceptada por el estado final

CADENA abab no es aceptada por el estado final

Trabajo Colaborativo No. 2

Pgina 24

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Demostracin y comprobacin de cadena no aceptadas

30. Plasme la secuencia y rbol de derivacin las cadenas a3b, ab3, aa3b, abab (Use el simulador para verificarla). El autmata generado, desde la gramtica dada en el ejercicio, Cadenas a3b desde el simulador

Trabajo Colaborativo No. 2

Pgina 25

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Cadenas aa3b desde el simulador

Cadenas ab3 desde el simulador

Trabajo Colaborativo No. 2

Pgina 26

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

Cadenas abab desde el simulador

Para justificar sus respuestas puede apoyarse en la simulacin que le d el software JFLAP.

Trabajo Colaborativo No. 2

Pgina 27

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

CONCLUSIONES

Despus de realizar el siguiente trabajo podemos concluir lo siguiente:

Conocemos el proceso, mtodo para minimizar un autmata. Conocemos y sabemos manipular ejercicios con autmatas pila. Sabemos convertir y generar la gramtica de un autmata, saber obtener su rbol de derivacin, las cadenas que podemos obtener y probar en este.

Trabajo Colaborativo No. 2

Pgina 28

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD. Autmatas y Lenguajes Formales

REFERENCIAS BIBLIOGRFICAS

DEL MODULO Mdulo de autmatas y lenguajes formales, QUIROGA ROJAS, EDGAR, BOGOTA DC, COLOMBIA, 2008.

Web grafas

http://conferencia.unad.edu.co/p32899187/

Trabajo Colaborativo No. 2

Pgina 29