computacion

MANUAL DE APUNTES DE TEORIA DE LA COMPUTACION 2014B MTRA. MIREYA CACHO RUIZ MTRO. HORACIO RODRIGUEZ GOMEZ OCOTLAN JALISCO, A 01 DE AGOSTO 2014 NOMBRE DE LA MATERIA TEORA DE LA COMPUTACIN TIPO CURSO CARCTER DEL CURSO OBLIGATORIO AREA DE FORMACIN BSICA COMN PREREQUISITOS MATEMTICAS DISCRETAS DEPTO. DE ADSCRIPCIN CIENCIAS BSICAS CARGA HORARIA GLOBAL 80 CARGA HORARIA SEMANAL 4 VALOR ENCRDITOS 11 OBJETIVO GENERAL Aplicar los modelos matemticos propios de este curso para representar sistemas del mundo real, enfocando el conocimiento de manera principal a obtener los antecedentes necesarios para poder implementar las etapas de anlisis de un compilador. TEORA DE LA COMPUTACIN CONTENIDO TEMTICO PRINCIPAL (VIGENCIA DE UN AO A PARTIR DE AGOSTO DE 2014) Unidad de aprendizaje 1 Gramticasy lenguajes formales Objetivo Comprender la forma en la que los lenguajes de programacin se pueden asociar con la teora matemtica. Conceptos generales. Diseo de Gramticas. Gramticas Regulares. Gramticas Independientes del contexto. rboles de derivacin. Forma normal de Chomsky. Aplicacin en el diseo de compiladores. Unidad de aprendizaje 2 Maquinas de Estado finito Objetivo Comprender laaplicacin de las maquinas de estado finito en el rea de computacin. 2.1 Concepto. 2.2 Representacin. 2.3 Aplicaciones. Unidad de aprendizaje 3 Autmatas de Estado finito Objetivo Obtener las bases necesarias para el diseo de analizadores lexicogrficos. 3.1 Concepto. 3.2 Relacin y diferencias con las maquinas de estado finito. 3.3 Autmatas finitos 3.3.1 Deterministas. 3.3.2 No deterministas. 3.4 Relacinentre Autmatas Finitos y Gramticas Regulares Unidad de aprendizaje 4 Autmatas de pila. Objetivo Obtener las bases de estos modelos, para el diseo de analizadores sintcticos. 4.1 Concepto. 4.2 Relacin entre Autmatas de Pila y Gramticas Libres de Contexto. 4.3 Limitaciones. BIBLIOGRAFA BSICA 1.- Teora de Autmatas y Lenguajes Formales. Dean Kelley. Editorial Prentice Hall. 2.- Introduccin a laTeora de Autmatas, Lenguajes y Computacin. John E. Hopcroft y Jeffrey D. Ullman. Editorial CECSA. 3.- Teora de la Computacin. (LIBRO BASE) J. Glenn Brookshear. Editorial Addison Wesley Iberoamericana. BIBLIOGRAFA COMPLEMENTARIA 1.- Compiladores. Alfred V. Aho , Ravi Sethi y Jeffrey D. Ullman. Editorial Addison Wesley Iberoamericana. 2.- Matemticas Discretas. Richard Johnsonbaugh. EditorialIberoamericana. 3.- Lenguajes de Programacin Ravi Sethi. Editorial Addison Wesley 4.- Introduccin a las Ciencias de la Computacin J. Glenn Brookshear Editorial Addison Wesley Otros textos con ttulos semejantes a los cuatro anteriores, pueden ser considerados como parte de esta bibliografa complementaria. MODALIDAD DE ENSEANZA Y APRENDIZAJE En virtud de que el contenido del curso es adecuado para queel alumno desarrolle su creatividad, se recomienda que se le asesore para que pueda utilizar su iniciativa para descubrir la solucin a los problemas con los que se habr de encontrar. Adems se le pueden solicitar tareas de investigacin que hagan que el curso avance en forma ms fluida. MATERIAL DE APOYO ACADEMICO Notas sobre el curso. Presentaciones en power point. Fuentes de consulta en internet.Curso en lnea de la materia ubicado en http//www.enlinea.cuci.udg.mx Aplicaciones desarrolladas por los alumnos de cursos anteriores. CRITERIOS DE EVALUACIN Se evaluar a lo largo del periodo escolar mediante exmenes parciales, departamentales, implementacin de software, tareas y un proyecto final. En caso de no haber obtenido una calificacin aprobatoria en el curso ordinario, se presentar unexamen extraordinario. CRITERIOS CALIFICACION La calificacin final se compone de los siguientes aspectos - Exmenes parciales y departamentales 60 - Tareas (investigaciones y problemas) 10 - Anteproyecto. 10 - Proyecto Terminal 20 CRITERIOS DE ACREDITACION 1.- Obtener por lo menos 60 puntos totales acumulados de un mximo de 100 puntos posibles. 2.- Conseguir un promedio mnimo de 60 (sobre 100) en...