UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera

a de Sistemas

AUTOMATAS Y LENGUAJES FORMALES

301405 Programa: Ingeniera de Sistemas

GUIA DE ACTIVIDAD TRABAJO COLABORATIVO N 2 LENGUAJES INDEPENDIENTES DEL CONTEXTO

DUITAMA. ENERO DE 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

Temticas revisadas:
Segunda Unidad II. LENGUAJES INDEPENDIENTES DEL CONTEXTO Captulos 4. Conceptos Generales Temas 16. Gramticas Regulares 17. Gramticas Regulares y Lenguajes Regulares 18. Gramticas Independientes del Contexto 19. Formas Cannicas para las Gramticas Independientes del Contexto 20. Formas Normales 21. Definicin de Autmata con Pila 22. Diseo de Autmatas con Pila 23. Combinacin Modular de Autmatas con Pila 24. Autmatas con Pila y Lenguajes Libres de Contexto 25. Relacin entre los Autmatas de Pila y Lenguajes Libres de Contexto 26. Lema de Bombeo. 27. Propiedades de Clausura de los Lenguajes Libres de Contexto 28. Algoritmos de Decisin para los Lenguajes Libres de Contexto 29. Algoritmos de Pertenencia 30.Problemas Indecibles para Lenguajes Libres de Contexto

5. Autmatas a Pila

6. Propiedades de Lenguajes Independientes de Contexto

INTRODUCCIN: Los lenguajes independientes del contexto que tambin se conocen con el nombre de gramticas de contexto libre son un mtodo recursivo sencillo de especificacin de reglas gramaticales con las que se pueden generar cadenas de un lenguaje. Es factible producir de esta manera todos los lenguajes regulares, adems de que existen ejemplos sencillos de gramticas de contexto libre que generan lenguajes no regulares. Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos mayores que los realizados con lenguajes regulares, en gran medida sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes formales. OBJETIVO GENERAL: Conocer los modelos de computacin que corresponden a los lenguajes independientes del contexto y su aplicacin. OBJETIVOS ESPECFICOS: Generalizar los conceptos de autmatas finitos y gramticas regulares. Reconocer el potencial de procesamiento del lenguaje del autmata con los Autmatas de pila.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

METODOLOGA: Las sesiones son desarrolladas en forma terica, La estrategia de aprendizaje a utilizar ser el Aprendizaje colaborativo. Porque aprendizaje colaborativo? El desarrollo de las actividades de aprendizaje est basado en el aprendizaje colaborativo como una estrategia de aprendizaje y de trabajo de grupo que es usado en los cursos que se ofertan en el campus virtual de la UNAD, se requieren estas caractersticas para realizar un trabajo realmente efectivo. Participacin: el potencial de un grupo de aprendizaje se maximiza cuando todos los estudiantes participan activamente en las discusiones. Crecimiento Social: permite establecer y mantener una comprensin compartida de significados. Habilidades Conversacionales: la calidad de la comunicacin en grupos de discusin influencia la experiencia de aprendizaje y los logros de los miembros del grupo. Procesamiento Grupal y Anlisis de Rendimiento: existe procesamiento grupal cuando el grupo discute sus progresos y decide si contina con su comportamiento o lo cambia. Para ello los estudiantes deben evaluar individual y colectivamente sus rendimientos. Formacin de los grupos colaborativos: Los Grupos estn conformados por 5 estudiantes que el sistema en el momento del ingreso al curso acadmico los selecciona, es de anotar que este grupo est definido para desarrollar todo el curso acadmico y no es factible el cambio de grupo, este proceso fomenta deliberadamente la diversidad mezclando los estudiantes con diferente nivel, sexo, origen, estilo de aprendizaje, etc. Aunque esta distribucin no toma en cuenta la opinin de cada estudiante si pretende que se conserve dentro del equipo la pluralidad para potenciar la calidad, la cantidad y la velocidad de aprendizaje. Organizacin los Grupos colaborativos: Los equipos luego de la distribucin aleatoria que hace el sistema deben organizarse en este pequeo grupo obviamente con el compromiso de trabajar y de desempear algunos roles o funciones bsicas, que son indispensables para el desarrollo de la actividad. Una distribucin de funciones bsicas que se propone y debe ser definida una vez se hayan conocido los integrantes del grupo, es la siguiente (coordinador, relator, animador, tcnico y supervisor) aunque los estudiantes pueden crear las funciones que consideren ms adecuadas. En cada unidad de aprendizaje del curso los estudiantes deben elegir un coordinador del equipo que, a su vez, distribuye el resto de funciones entre sus compaeros. Cuando comienza una nueva unidad deben volver a elegir un coordinador pero de tal forma que nadie repita un cargo hasta que todos han pasado ya por ese cargo. La idea es que todos aprendan a ser responsables de todas las funciones esenciales dentro de un equipo, que todos vivan la experiencia de esa responsabilidad. Cmo se logra pertenencia con el grupo colaborativo?: Lo importante en la conformacin del equipo es el hecho de que se sientan parte del equipo en el cual van a trabajar durante todo el semestre, para ello cada grupo deber ponerse de acuerdo para desarrollar una primera actividad grupal, que est planteada en el foro general del curso, debern elaborar una presentacin multimedia que debe contener un acta de conformacin del grupo, un nombre para el equipo, un

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

logo distintivo del grupo y la redaccin de texto en donde el equipo se presenta a sus compaeros explicando sus puntos fuertes y dbiles.

Cmo organizar su trabajo?: En este punto cobra relevancia e importancia el uso del wiki como elemento para compartir toda la informacin del grupo y registrar los aportes de cada uno de los integrantes del grupo, si es decisin del grupo no usar el wiki, pueden realizar sus aporte por el foro colaborativo de cada prctica en los temas de trabajo individual y trabajo grupal. Para la organizacin del trabajo a desarrollar el proceso es el siguiente: Planificacin: Se deben repartir las funciones entre los componentes del grupo colaborativo y planificar el trabajo. Para ello elaboraran un "Plan de Accin" que es un documento en un procesador de palabras en donde mostrarn el organigrama del equipo, la organizacin del tema en donde se escriba que saben sobre el tema, que desean aprender y cmo van a buscar la informacin (Desarrollo de la practica en el Cead, Bibliotecas, en la Red, haciendo entrevistas a especialistas, etc.), el diagrama de flujo del proyecto y el calendario de actividades. Este Documento debe ser enviado al foro de trabajo colaborativo para compartirlo con el grupo y con el tutor en el TEMA de produccin del grupo. Elaboracin del trabajo: Con la informacin individual y grupal recogida en las bibliotecas, en la Red, haciendo entrevistas a especialistas etc. debern elaborar un informe que recoja lo esencial que han aprendido: el trabajo final. Para ello negociarn y construirn entre todo el grupo los contenidos de la prctica, se deja la decisin al grupo para que seleccione la tcnica ms adecuada para compartir la produccin de cada uno, se sugiere elaboren mapas de ideas o un mapa conceptual del tema a partir de la informacin elaborada individualmente.

Producto esperado a entregar: El producto es un documento que debe cubrir todos los puntos de la rbrica de evaluacin y debe ser elaborado en un procesador de palabras (openoffice write o Microsoft Word.) para luego ser convertido a PDF. DOCUMENTO A ENTREGAR: Se debe entregar un archivo comprimido (.rar) que contenga el siguiente nombre: Como ejemplo, si el estudiante se llama Carlos Alberto Amaya Tarazona y pertenece al grupo 103, entonces el archivo a enviar es: 103_col2_carlos_amaya.rar El archivo comprimido contendr los siguientes elementos: 1. UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe contener los siguientes puntos Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

Datos del tutor. Introduccin concertada y redactada por los integrantes del Grupo Objetivos (General y Especficos) que pretenden alcanzar con el desarrollo de la actividad. Descripcin general del trabajo. Desarrollo de cada uno de los puntos enunciados a continuacin. Bibliografa acorde a las Normas APA Rev 5.

2. LOS ARCHIVOS GENERADOS POR EL SIMULADOR:

Para los ejercicios 1,2,3 y 4 : Deben incluir los archivos que genera el simulador. (asignando nombres acorde al ejercicio) Ejemplo: Para el ejercicio 1: ejercicio1.jff (si fue generado con JFLAP)

Exitos. Cordialmente. Ing. (Msc) Carlos Alberto Amaya Tarazona

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

EJERCICIOS A DESARROLLAR:
1. Calcular el autmata mnimo correspondiente al siguiente autmata.

ACTIVIDADES ANTES DE MINIMIZAR. 1. Identifique los componentes del autmata (que tipo de tupla es) 2. Identifique la tabla de transicin Cada fila la corresponde a un estado q Q El estado inicial se precede del smbolo Cada estado final se precede del smbolo # Cada columna corresponde a un smbolo de entrada x Se debe identificar la funcin 3. Identifique el lenguaje que reconoce y las posibles cadenas 4. Encuentre la expresin regular vlida. (compruebe una cadena vlida de esa expresin regular en el simulador). Identifique sus componentes El propsito de las ER (que no son ms que simples frmulas) es representar cada una de ellas un lenguaje.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

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) Las gramticas son mecanismos generadores de lenguajes, es decir, nos dicen cmo podemos obtener o construir palabras de un determinado lenguaje. 6. Realice el rbol de Derivacin de esa gramtica Un rbol ordenado y etiquetado es un rbol de derivacin para una gramtica libre de contexto 7. Identifique si ese rbol gramtica es ambigua o no y plasme las razones de su afirmacin 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. ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO: 9. Explicar el proceso de Minimizacin (que estados se suprimen y porque). 10.Que transiciones se reemplazan o resultan equivalentes. 11.Escribir la funcin de transicin del nuevo autmata. 12.Identificar la expresin regular (explicarla en la lectura matemtica que se le debe hacer). 13.Compruebe una cadena vlida para esa expresin regular. 14.Identificar el lenguaje que reconoce y las posibles cadenas. 15.Identificar su gramtica. Demustrela para una cadena vlida del autmata. 16.Expresarlo o graficarlo con su respectivo diagrama de Moore. 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.

Cada tem debe ser justificado, para ello lo pueden hacer con su interpretacin matemtica o con el simulador que le genera todas las respuestas. No dejen a ltima instancia para realizar el trabajo, ya que no se les podr dar el apoyo acadmico oportuno.
2. Construya el autmata de Pila Correspondiente Disee un AP que acepte exactamente el Lenguaje con palabras de la forma a n b n cualquier nmero natural n. para

19. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las columnas para un

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

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). 20. Plasme las imgenes y capturas en el documento. (Documente el proceso) 21. Muestre el diagrama correspondiente de estados.
3. Construccion de Autmatas Para el siguiente Autmata denotado como:

A 2 = (E = {1,2,3}, Q = {q 1 , q 2 , q 3 }, f, q 1 , F = {q 2 } ) donde f vine dada por la siguiente tabla de transicin:

22. Corrija la tabla de transicin identificando los estados de aceptacin vlidos. 23. Realice el diagrama de Moore correspondiente en el simulador y plsmelo en el trabajo. 24. Identifique en el simulador el lenguaje que reconoce el autmata del ejercicio

25. Justifique que tipo de Autmata es 8tenga en cuenta todas las variables a tener en cuenta para calificar un autmata o para clasificarlo como tal). 26. La expresin regular para el autmata (Autmata finito) es: (Justifquela )
i. ( 1 | 2)
*

1,2,3
*

ii. ( 1,2 | 3) iii. ( 1 | 2) iv. ( 1 | 3)

* *

3 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

4. Gramticas

Sean L 1 el lenguaje generado por la gramtica G 1 y L 2 el lenguaje generado por la gramtica G 2

S xABy A xzS | B B yz |
Gramtica G 1

S xAyzy | xAy A xzS | yz |

Gramtica G 2

27. Escriba la gramtica de forma general (sin comprimir). 28. Justifique si las gramticas son idnticas o no 29. Justifique si las gramticas generan o no el mismo lenguaje 30. Identifique y demuestre la palabra generable comn tanto por la Gramtica 1 como por la Gramtica 2. (Use el simulador para verificarla). Para justificar sus respuestas puede apoyarse en la simulacin que le d el software JFLAP.