Guiatc1Automatas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Nombre escuela: Escuela de Ciencias Básicas Tecnología e Ingeniería Nombre programa: Ingeniería de Sistemas

AUTOMATAS Y LENGUAJES FORMALES

301405 Programa: Ingeniería de Sistemas

GUIA DE ACTIVIDAD TRABAJO COLABORATIVO N 1 LENGUAJES REGULARES

BOGOTA. DC. ENERO DE 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Nombre escuela:Escuela de Ciencias Básicas Tecnología e Ingeniería Nombre programa: Ingeniería de Sistemas

Temáticas revisadas:
Primera Unidad I.. LENGUAJES REGULARES Capítulos 1. Conceptos Básicos Lecciones 1. Introducción e Historia. 2. Diferentes Modelos de Computación 3. Autómatas y Lenguajes. 4. Lenguajes Regulares 5. Autómata 6. Definición Formal de Autómatas Finitos 7. Autómatas FinitosDeterminísticos (AFD) 8. Autómatas Finitos no Determinísticos (AFND) 9. Autómatas Finitos con λ Transacciones 10. Lenguaje Aceptado por Autómata Finito 11.Expresiones Regulares 12. Significado de las Expresiones Regulares 13. Autómatas Finitos y Expresiones Regulares 14.Propiedades de los Lenguajes Regulares 15.Equivalencia de Autómatas Finitos Determinísticos y Autómatas Finitos

2. Autómatas 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 más sencillos mediante operaciones de conjuntos. Los Lenguajes más sencillos son los considerados lenguajes regulares, es decir, los que se pueden generara partir de lenguajes de un elemento con la aplicación de ciertas operaciones estándar realizadas un número finito de veces. Estos son pues los lenguajes que pueden reconocer los dispositivos llamados Autómatas finitos (AF) que son máquinas de cómputo con memoria muy restringida. En esta unidad se considera como segundo aspecto la idea de que un lenguaje no sea regular, además de proporcionar unmodelo sencillo de computación 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 descripción de un lenguaje a otra descripción de un tipo distinto; se acumula experiencia en el uso de métodos formales para describir lenguajes y se intenta responder a preguntas acerca deellos, 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 Básicas Tecnología e Ingeniería Nombre programa: Ingeniería de Sistemas

OBJETIVO GENERAL: Reconocer los lenguajes regulares, autómatas finitos y suaplicación. OBJETIVOS ESPECIFICOS Estudiar la aplicación de los lenguajes regulares y los autómatas finitos. Adquirir las habilidades necesarias para desarrollar autómatas y máquinas que reconozcan lenguajes o computen funciones. Distinguir los diferentes tipos de lenguajes formales existentes. Adquirir el conocimiento y competencia para poder recrear autómatas sencillos en un simulador. De igualforma verificar el lenguaje que reconoce. METODOLOGÍA: Las sesiones son desarrolladas en forma teórica, 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 ofertanen el campus virtual de la UNAD, se requieren estas características para realizar un trabajo realmente efectivo. Participación: 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 comprensión compartida de significados. Habilidades Conversacionales: la calidad de la...