Nombre de la asignatura : Lenguajes y Autómatas. Carrera : Ingeniería en Sistemas Computacionales. Clave de la asignatura : SCB- 9324

Transcripción

1 . D A T O S D E L A A S I G N A T U R A Nombre de la asignatura : Lenguajes y Autómatas Carrera : Ingeniería en Sistemas Computacionales Clave de la asignatura : SCB- 9 Horas teoría-horas práctica-créditos : U B I C A C I O N D E L A A S I G N A T U R A a) RELACION CON OTRAS ASIGNATURAS DEL PLAN DE ESTUDIO A N T E R I O R E S P O S T E R I O R E S ASIGNATURAS TEMAS ASIGNATURAS TEMAS Matemáticas Discretas Teoría de Conjutnos Funciones de Cómputo Relaciones binarias Inteligencia Artificial Representación interna de la Inteligencia Artificial LISP Visión de la I.A. Análisis Sintáctico Dedución y Lógica Comprensión del lenguaje Organización de la memoria

2 a) APORTACION DE LA ASIGNATURA AL PERFIL DEL EGRESADO Esta materia proporcionará las bases teoricas matemáticas para desarrollar y optimizar software de base.. O B J E T I V O (S) G E N E R A L E S(ES) D E L C U R S O Al finalizar el curso, el alumno comprenderá el funcionamiento, de los lenguajes y la teoría de autómatas. T E M A R I O. NUMERO T E M A S S U B T E M A S I Introducción. Conjuntos finitos e infinitos Alfabetos Propiedades de string a) Longuitud b) Concatenación Lenguaje. Representación finita del lenguaje II Gramáticas. Introducción a las Gramáticas. Estructuras de las Gramáticas. Clasificación de las Gramáticas (SHOMSKG) Contexto Sensitivo Sensible de contexto Estructura de fase. Representación de Gramáticas Notación de BNF Diagramas Sintácticos III Autómatas Finitos. Autómatas finitos determinísticos (AFD). Autómatas finitos no determinísticos (AFND). Equivalencia de AFD y AFND. Propiedades de los lenguajes aceptados por un autómata finito.5 Autómatas finitos y Expresiones regulares.6 Determinación de lenguajes regulares y no regulares IV Autómatas Push Down. Definición. Lenguajes aceptados por un Automata Push Down. PDA determinístico. PDA y CFL

3 V Máquinas de Turing 5. Definición de máquina de Turing 5. Funcionamiento de la máquina de Turing 5. Lenguajes aceptados por la máquina de Turing 5. Ejemplo de mayor fuerza de la máquina de Turing 5.5 Extensiones de la máquina de Turing 5.6 Máquina de Turing no determinística 5.7 El problema HALFING para las máquinas de Turing VI Gramáticas y Autómatas 6. Lenguajes regulares Teorema de Kleene Las aplicaciones del lema de Pumping El teorema MGHILL Nerode 6. Lenguajes de contexto libre Forma normal EHUMSKG Lema de BARHILL el Pumping Autómata de Push Down Compilador de Lenguajes Formales Lenguajes Brackat 6. Lenguajes de Contexto sensitivo Autómata lineal Bounded Aspectos prácticos Ejemplificación con un lenguaje conocido VII Aplicaciones a Lenguajes 7. Objetivos y Filosofía de diseño de Lenguajes de Programación Comunicación humana Prevención y detención Utilidades Eficiencia Independencia de la máquina Simplicidad Uniformidad Otras filosofías del diseño 7. Diseño detallado Microestructuras Estructuras de Expresión Estructuras de datos Estructuras de control Estructuras del compilador Estructuras I/O 5. A P R E N D I Z A J E S R E Q U E R I D O S

4 Matemáticas Discretas 6. S U G E R E N C I A S D I D A C T I C A S Presentar el análisis de gramáticas, autómatas o máquinas de Turing con aplicaciones a Lenguajes comerciales Que el alumno investigue las estructuras sintácticas y léxicas de un lenguaje comercial con la finalidad de aplicarlos a un lenguaje diseñado por él 7. S U G E R E N C I A S D E E V A L U A C I O N - El alumno investigará la estructura de lenguajes comerciales - El alumno presentará resultados de sus investigaciones mediante la exposición ante el grupo - Aplicacion de exámenes escritos 8. U N I D A D E S D E A P R E N D I Z A J E NUMERO DE UNIDAD: NOMBRE DE LA UNIDAD: INTRODUCCION Definirá, distinguirá y reconocerá los elementos básicos de un lenguaje. Distinguir entre conjuntos fintos e infinitos. Reconocer e identificar las características del lenguaje y del alfabeto. Extrapolar un alfabeto NUMERO DE UNIDAD: II NOMBRE DE LA UNIDAD: GRAMATICAS Definirá, distinguirá y reconocerá los elementos de una gramática.. Comprenderá que es una gramática. Adquirirá los elementos principales de la gramática. Análisis de la clasificación. Representar gramáticas

5 NUMERO DE UNIDAD: III NOMBRE DE LA UNIDAD: AUTOMATAS FINITOS Adquirirá los conocimientos necesarios para la aplicación de los autómatas en la construcción de lenguajes. Reconocer un autómata finito determinístico. Reconocerá un autómata finito no determinístico. Traducir un AFND a un AFD. Deducir su lenguaje regular.5 Relación entre autómata finito y expresiones regulares.6 Diferenciar entre un lenguaje regular y uno ambiguo NUMERO DE UNIDAD: IV NOMBRE DE LA UNIDAD: AUTOMATAS PUSH-DOWN Adquirirá los conocimientos necesarios sobre autómatas Push- Down en el análisis y construcción de un lenguaje. El alumno conocerá las partes y funcionamiento de un PDA como dispositivo determinístico para el reconocimiento de un lenguaje. El alumno analizará los casos de lenguajes aceptados por un PDA y por un CFL NUMERO DE UNIDAD: V NOMBRE DE LA UNIDAD: MAQUINAS DE TURING Explicará el funcionamiento de la máquina de Turing 5. Conocer los elementos, funcionamiento y aplicación de la máquina de Turing,,, NUMERO DE UNIDAD: VI

6 NOMBRE DE LA UNIDAD: GRAMATICAS Y AUTOMATAS Creará y desarrollará lenguajes en base a gramáticas y autómatas 6. Conocerá teoremas para el diseño de lenguajes 6. Conocerá obras gramaticales para la creación de lenguajes 6. Conocerá el autómata lineal Bounded NUMERO DE UNIDAD: VII NOMBRE DE LA UNIDAD: APLICACIONES DE LENGUAJES Diseñará un lenguaje 7. Identificar los criterios de diseños de lenguaje 7. Aprenderá el diseño detallado de lenguajes 9. B I B L I O G R A F I A B A S I C A Y C O M P L E M E N T A R I A.- Hopcroft, John and Ullman Jeffrey Introduction to Automatas Theor Languages and Computation Addison-Wesley, Mass Harry R. Lewis, Christos H. Papadimitron Elements of the Theory of Computation Prentice Hall, Ing V.S. Rayward-Smith A First Course in Formal Language Theory.- Martin D. Davis and Elaine, J. Weyuker. Computability, Complexity, and Languages Academic Prees, Ing. 98