UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO División de Docencia Dirección de Planeación y Desarrollo Educativo

Transcripción

1 . FORMATO: DPyDE01 UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO División de Docencia Dirección de Planeación y Desarrollo Educativo PROGRAMA ANALÍTICO DE ASIGNATURA Instituto INSTITUTO DE CIENCIAS BASICAS E INGENIERIAS Licenciatura en: LICENCIATURA EN SISTEMAS COMPUTACIONALES 1.- Nombre de la asignatura: LENGUAJES Y AUTOMATAS 2.- Semestre: SEXTO 1

2 3.- Carga horaria semanal: 3.1. Teoría 3.2. Práctica 3.3. Total 3.4. Créditos Seriación: 4.1. Asignatura antecedente 4.2. Asignatura consecuente Lógica Matemática (no seriada) Compiladores (seriada) Inteligencia artificial (no seriada) 5.- Objetivo general de la asignatura: Proporcionará los conceptos fundamentales de Autómatas y Gramáticas formales que se emplean en las ciencias de la computación. 2

3 6.- es del programa I Temas, Subtemas y/o Tópicos que contiene el programa FUNDAMENTOS MATEMATICOS 1.1 ANTECEDENTES HISTÓRICOS DE LA TEORIA DE LA COMPUTACION 1.2 CONCEPTOS DE LA TEORIA DE CONJUNTOS 1.3 RELACIONES Y FUNCIONES DISCRETAS 1.4 INDUCCION MATEMATICA 1.5 GRAFOS Y ÁRBOLES 1.6 DEFINICION DE CADENAS, ALFABETOS Y LENGUAJES CONCATENACION DE CADENAS PREFIJOS Y SUFIJOS DE CADENAS I.7 DEFINICIÓN DE GRAMATICA FORMAL 1.8 JERARQUIA DE CHOMSKY 1.9 RELACIONES ENTRE GRAMATICAS, LENGUAJES Y AUTOMATAS 6.3 Objetivos de la El alumno conocerá los fundamentos básicos matemáticos para adentrarse a la teoría de la computación Recursos didácticos necesarios Referencia Bibliográfica 6.6 Tiempo estimado en horas por subtema Horas Acumulado (1),(2),(3) % 3

4 6.- es del programa II Temas, Subtemas y/o Tópicos que contiene el programa AUTOMATAS FINITOS Y GRAMATICAS REGULARES 2.1 DEFINICION DE AUTOMATA FINITO 2..2 AUTOMATA FINITO DETERMINISTICO Y NO DETERMINISTICO 2..3 EQUIVALENCIA ENTRE AFN Y AFD 2.4 AUTOMATA FINITO NO DETERMINISTICO CON TRANSICIONES EPSILON 2.5 EQUIVALENCIA ENTRE AFN CON EPSILON Y AFN 2.6 AUTOMATAS FINITOS Y EXPRESIONES REGULARES 2.7 APLICACIONES DE AUTOMATAS FINITOS 2.8 GRAMATICAS REGULARES 6.3 Objetivos de la Conocerá y comprenderá la teoría de los autómatas determinísticos, no determinísticos y de las expresiones regulares Recursos didácticos necesarios Referencia Bibliográfica (1),(2),(3) 6.6 Tiempo estimado en horas por subtema Horas 20 Acumulado 37.5% III AUTOMATAS DE PILA (PUSHDOWN) Y GRAMATICAS INDEPENDIENTES DEL CONTEXTO 3.1 DEFINICIÓN DE AUTOMATA DE PILA 3.2 AUTOMATAS DE PILA DETERMINISTICOS 3.3 AUTOMATAS DE PILA Y GRAMATICAS INDEPENDIENTES DEL CONTEXTO 3.4 REPRESENTACION Y SIMPLIFICACION DE GRAMATICAS INDEPENDIENTES DEL CONTEXTO 3.5 FORMA NORMAL DE CHOMSKY 3.6 FORMA NORMAL DE GREIBACH 3.7 DETERMINISMO Y PARSING Contará con el conocimiento sobre autómatas de pila y las gramáticas que éstos manipulan. (1),(2),(3) % 4

5 6.- es del programa IV Temas, Subtemas y/o Tópicos que contiene el programa AUTOMATAS LINEALMENTE ACOTADOS, GRAMATICAS DEPENDIENTES DEL CONTEXTO Y MAQUINAS DE TURING. 4.1 DEFINICION DE AUTOMATA LINEALMENTE ACOTADO 4.2 OPERACIÓN DE AUTOMATAS LINEALMENTE ACOTADOS 4.3 AUTOMATAS LINEALMENTE ACOTADOS Y GRAMATICAS DEPENDIENTES DEL CONTEXTO 4.4 DEFINICION DE LA MAQUINA DE TURIN 4.5 TECNICAS PARA LA CONSTRUCCION DE LA MAQUINA DE TURING 4.6 OPERACIÓN DE LA MAQUINA DE TURING 4.7 EXTENSIONES DE LA MAQUINA DE TURING 4.8 MAQUINAS DE TURING NO DETERMINISTICAS 4.9 FUNCIONES NUMERICAS 6.3 Objetivos de la Contará con el conocimiento sobre autómatas linealmente acotados y las gramáticas que éstos manipulan, además de conocer la definición, técnicas para la construcción y operación de la máquinas conceptuales de Turing, como su versión no determinística Recursos didácticos necesarios Referencia Bibliográfica (1),(2),(3) 6.6 Tiempo estimado en horas por subtema Horas 20 Acumulado 87.5% V COMPLEJIDAD 5.1 COMPLEJIDAD DE LOS CALCULOS 5.2 COMPLEJIDAD DE LOS ALGORITMOS 5.3 COMPLEJIDAD DE LOS PROBLEMAS 5.4 COMPLEJIDAD TEMPORAL DE LOS PROBLEMAS DE RECONOCIMIENTO DE LOS LENGUAJES 5.5 COMPLEJIDAD TEMPORAL DE MAQUINAS NO DETERMINISTICAS El alumno conocerá y será capaz de analizar la complejidad de algoritmos y problemas de diverso tipo. (1),(2),(3) % 5

6 7.- Estrategias de enseñanza-aprendizaje: - Exposición oral - Solución de problemas teóricos en clase - Ejercicios extraclase a realizar por el alumno - Uso de lenguaje de - Búsqueda de temas en Internet - Consulta de bibliografía 8.- Formas de evaluación: - Exámenes escritos - Ejercicios extraclase - Programas de - Investigaciones teóricas 6

7 9.- Bibliografía: BÁSICA: (1) JOHN E. HOPCROFT; JEFFREY D. ULLMAN INTRODUCCION A LA TEORIA DE AUTOMATAS, LENGUAJES Y COMPUTACION EDITORIAL CECSA MEXICO (2) J. GLENN BROOKSHEAR TEORIA DE LA COMPUTACION. LENGUAJES FORMALES, AUTOMATAS Y COMPLEJIDAD EDITORIAL ADDISON-WESLEY IBEROAMERICANA U.S.A (3) GARCIA, P.; PEREZ, T.; RUIZ, J.; SEGARRA, E.; SEMPERE, J. M.; VAZQUEZ DE PARGA, M. TEORIA DE AUTOMATAS Y LENGUAJES FORMALES EDITORIAL ALFAOMEGA MEXICO COMPLEMENTARIA: KELLEY, D. TEORIA DE AUTOMATAS Y LENGUAJES FORMALES EDITORIAL PRENTICE-HALL.1995 SUDKEMP, T. A. INTRODUCTION TO THE THEORY OF COMPUTER SCIENCE EDITORIAL ADDISON-WESLEY DROBOT, V. FORMAL LANGUAGES AND AUTOMATA THEORY EDITORIAL COMPUTER SCIENCE PRESS COHEN, D. INTRODUCTION TO COMPUTER THEORY EDITORIAL JOHN WILEY & SONS

8 UNIVE RSIDAD AUTÓN OMA 10.- Perfil profesiográfico: Profesional con perfil informático con conocimientos de matemática discreta y familiaridad con el uso del lenguaje matemático Nombres de quienes elaboraron el programa M. en C. Silvia Soledad Moreno Gutiérrez. Lic. en Comp. Isaías Pérez Pérez. I.S.C. Edgar Olguín Guzmán Fecha de última actualización Abril de