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 1 LENGUAJES REGULARES

DUITAMA JULIO DE 2013

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

Temticas revisadas:
Primera Unidad I.. LENGUAJES REGULARES Captulos 1. Conceptos Bsicos Lecciones 1. Introduccin e Historia. 2. Diferentes Modelos de Computacin 3. Autmatas y Lenguajes. 4. Lenguajes Regulares 5. Autmata 6. Definicin Formal de Autmatas Finitos 7. Autmatas Finitos Determinsticos (AFD) 8. Autmatas Finitos no Determinsticos (AFND) 9. Autmatas Finitos con Transacciones 10. Lenguaje Aceptado por Autmata Finito 11.Expresiones Regulares 12. Significado de las Expresiones Regulares 13. Autmatas Finitos y Expresiones Regulares 14.Propiedades de los Lenguajes Regulares 15.Equivalencia de Autmatas Finitos Determinsticos y Autmatas Finitos

2. Autmatas Finitos

3. Expresiones Regulares

Los lenguajes pueden describirse como elementos que se generan, como cadenas a partir de cadenas sencillas, con el uso de operaciones de cadenas o el desarrollo del lenguaje mismo, que se puede generar con otros lenguajes ms sencillos mediante operaciones de conjuntos. Los Lenguajes ms sencillos son los considerados lenguajes regulares, es decir, los que se pueden generar a partir de lenguajes de un elemento con la aplicacin de ciertas operaciones estndar realizadas un nmero finito de veces. Estos son pues los lenguajes que pueden reconocer los dispositivos llamados Autmatas finitos (AF) que son mquinas de cmputo con memoria muy restringida. En esta unidad se considera como segundo aspecto la idea de que un lenguaje no sea regular, adems de proporcionar un modelo sencillo de computacin que se puede generalizar en las unidades siguientes. Con las caracterizaciones anteriores y otras de los lenguajes regulares se obtienen y estudian algoritmos para traducir una descripcin de un lenguaje a otra descripcin de un tipo distinto; se acumula experiencia en el uso de mtodos formales para describir lenguajes y se intenta responder a preguntas acerca de ellos, son preguntas y ejercicios sencillos con sus respuestas y que permiten determinar la utilidad de los lenguajes regulares en aplicaciones del mundo real.

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

OBJETIVO GENERAL: Reconocer los lenguajes regulares, autmatas finitos y su aplicacin. OBJETIVOS ESPECIFICOS Estudiar la aplicacin de los lenguajes regulares y los autmatas finitos. Adquirir las habilidades necesarias para desarrollar autmatas y mquinas que reconozcan lenguajes o computen funciones. Distinguir los diferentes tipos de lenguajes formales existentes. Adquirir el conocimiento y competencia para poder recrear autmatas sencillos en un simulador. De igual forma verificar el lenguaje que reconoce. 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.

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

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 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, Biblioteca Virtual de la UNAD, 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.

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

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 (Portable data File). NOTA IMPORTANTE. Para los ejercicios propuestos de esta actividad, ( 2 al 10) se deben realizar o recrear en alguno de los dos simuladores: Los grficos y anlisis de cada simulador son los que se exportaran al documento de Word. Debe entregar los archivos generados por el simulador en una carpeta. Importante: Tenga en cuenta que no se aceptan frmulas, caracteres o expresiones regulares, entre otros que sean copiadas como imagen. Se debe usar un editor de frmulas para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor de grficos manualmente, tambin son aceptados. El Visual Autmata Simulator (vas) y/o el JFLAP. En las siguientes direcciones de Internet podrn descargar las mencionadas herramientas: Visual Autmata Simulator. http://www.cs.usfca.edu/~jbovet/vas.html JFLAP. http://www.cs.duke.edu/csed/jflap/

O en el FORO DE NOTICIAS DEL AULA, estn los links de descarga directos de forma ms rpida y cmoda. DOCUMENTO A ENTREGAR: Se debe entregar un archive comprimido (.rar) que contenga el siguiente nombre: Como ejemplo, si el estudiante se llama Carlos Alberto Amaya Tarazona y pertenece al grupo 27, entonces el archivo a enviar es: 27_col1_301405.rar

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

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 PORTADA: Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo que presenta la actividad). Datos del tutor. Descripcin general del trabajo. Desarrollo de cada uno de los puntos enunciados a continuacin. No se est solicitando introduccin, objetivos, bibliografa. Lo importante de esta actividad es estar concentrados en el desarrollo del ejercicio. Estos no son considerados como aportes ni deben ir plasmados en el trabajo. . 2. LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Si es JFLAP (los de extensin jff) y si es con archivos de VAS (los de extensin .fa)

xitos. Cordialmente. Ing. (Msc) Carlos Alberto Amaya Tarazona Director aula.

EJERCICIO A DESARROLLAR:

Para el siguiente Autmata Finito 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:

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

1. Corrija la tabla de transicin indicando el estado inicial y final. 2. Construya el diagrama de Moore correspondiente. 3. Identifique que tipo de autmata es (AFD o AFND) y justifique su respuesta. 4. Identifique los elementos (tupla que es). Debe explicar y describir cada elemento y la funcin y significado en el autmata. Conceptos y definiciones adicionales. 5. Identifique la ER que lo representa. Explique los operadores y cmo actan en la funcin. 6. Identifique el lenguaje que genera. 7. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada secuencia. 8. Muestre el diagrama de Moore generado en JFLAp y en VAS y comente que similitudes o diferencias encuentra al realizarlo en los dos simuladores. (herramientas que ofrezca uno u otro). 9. Genere la tabla de transicin en VAS y plsmela en el documento, comprela con la plasmada en el ejercicio 10. Por ltimo, identifique las cadenas vlidas que generan las siguientes ER: muestre algunas, pero ms que las cadenas identifique el lenguaje que representa. Seleccione una ER (solo una) y exprtela o genere el autmata o el diagrama de Moore que sea vlido. si A = {0,1} a) 0*+1*(01) b) 10* + 10 c) 01* + 0 d) (1.11*0) * e) (1 + 10) + 0 f) 1* 0*10 g) 00* 11* h) (0+1)*11(1+0)*