Teoria de la ComputaciónDATOS GENERALES NOMBRE DE LA MATERIA TIPO CARÁCTER DEL CURSO ÁREA DE FORMACION PRERREQUISITOS DEPARTAMENTO DE ADSCRIPCIÓN CARGA HORARIA GLOBAL CARGA HORARIA SEMANAL VALOR EN CRÉDITOS TEORÍADE LA COMPUTACIÓN CURSO TEORICO OBLIGATORIO BÁSICA PARTICULAR MATEMÁTICAS DISCRETAS COMPUTO 80 HORAS 4 HORAS 11 CRE DITOS OBJETIVO GENERAL: APLICAR LOS MODELOS MATEMÁTICOS PROPIOS DE ESTE CURSO PARA REPRESENTAR POR MEDIO DE LOS MISMOS, CRITERIOS LOS SISTEMAS DEL MUNDO REAL, ENFOCANDO EL CONOCIMIENTO DE MANERA PRINCIPAL A OBTENER LOS ANTECEDENTES NECESARIOS PARA PODER IMPLEMENTAR LAS ETAPAS DE ANÁLISIS DE UN COMPILADOR. OBJETIVOS ESPECIFICOS: SE CONTENIDO MENCIONAN EN CADA MODULO DEL Página 1 de 6 Centro Universitario de la Ciénega Departamento de Computo – Coordinación de Carreras MODULO 2: MÁQUINAS DE ESTADO FINITO Objetivo: Comprender la gran cantidad de aplicaciones que pueden tener estos modelos matemáticos.6 Conceptos específicos.8 Forma Normal de Chomsky. 1. sobre todo en las áreas de la computación y la electrónica.7 Aplicación en el diseño de compiladores.5 Árboles de derivación.1 Conceptos generales.4 Jerarquía de Chomsky. 1. 2. 2. Página 2 de 6 Centro Universitario de la Ciénega Departamento de Computo – Coordinación de Carreras . 2. 1. 1. 1.1 Concepto. 1. se pueden asociar con la teoría matemática para su mejor entendimiento y un diseño eficiente.3 Forma Normal de Backus.3 Aplicaciones. 1.2 Representación. 1.Teoria de la Computación CONTENIDO TEMÁTICO PRINCIPAL MODULO 1: GRAMÁTICAS Y LENGUAJES FORMALES Objetivo: Comprender la forma en la que los lenguajes de programación.2 Diseño de Gramáticas. 1 Concepto.5 Aplicaciones en electrónica.3 Limitaciones de los Autómatas de Pila. 3. 3. 3. 3.1 Concepto. 3.10 Limitaciones de los Autómatas de Estado Finito.6 Aplicaciones en inteligencia artificial. 3.2 Máquinas de Turing como aceptadores de Lenguajes. 4. Página 3 de 6 Centro Universitario de la Ciénega Departamento de Computo – Coordinación de Carreras .Teoria de la Computación MÓDULO 3: AUTÓMATAS DE ESTADO FINITO Objetivo: Obtener las bases necesarias para el diseño de analizadores lexicográficos y comprender la gran variedad de aplicaciones que se pueden representar con este tipo de Autómatas. 3. 4. 3.4 El problema de la parada.7 Autómatas Finitos: deterministas y no deterministas. 5.9 Expresiones regulares. 5.2 Relación y diferencias con las Máquinas de Estado Finito. especialmente para aplicarse como analizadores sintácticos en un compilador.1 Concepto. 3.3 Construcción de Máquinas de Turing.3 lmplementación del software.8 Relación entre Autómatas Finitos y Gramáticas Regulares. MODULO 5: MÁQUINAS DE TURING. 4. MODULO 4: AUTOMATAS DE PILA Objetivo: Obtener las bases para el diseño de estos dispositivos.4 Aplicaciones en general. 5.2 Relación entre Autómatas de Pila y Gramáticas de Libres de Contexto. Objetivo: Conocer el poder computacional de estas máquinas en el contexto de la solución de problemas de reconocimiento de lenguajes. 5. 3. Glenn Brookshear. 6.Teoria de la Computación MODULO 6: COMPUTABILIDAD. Editorial Addison Wesley Iberoamericana.4 Problemas NP. Editorial Iberoamericana. Editorial Prentice Hall.Compiladores.Teoría de Autómatas y Lenguajes Formales..Matemáticas Discretas.Teoría de la Computación. Objetivo: Entender que el diseño de algoritmos presenta limitaciones en ciertos casos. Hopcroft y Jeffrey D.. Aho . Alfred V. BIBLIOGRAFÍA BÁSICA 1. 6.2 Complejidad de los algoritmos. Ravi Sethi y Jeffrey D. 6. que impiden su representación adecuada.5 Problemas irresolubles. 3. 6. Editorial CECSA. John E.Introducción a la Teoría de Autómatas. BIBLIOGRAFÍA COMPLEMENTARIA 1...Lenguajes de Programación Ravi Sethi. Dean Kelley. Uliman. J. Ullman.. 3. Richard Johnsonbaugh.. 2. 6. Lenguajes y Computación. 2.3 Complejidad de los problemas. Editorial Addison Wesley Iberoamericana.1 Complejidad de los cálculos. Editorial Addison Wesley Página 4 de 6 Centro Universitario de la Ciénega Departamento de Computo – Coordinación de Carreras . En caso de no haber obtenido una calificación aprobatoria en el curso ordinario.Primer Examen Parcial Departamental . se recomienda que se le asesore para que pueda utilizar su iniciativa par descubrir la solución a los problemas con los que se habrá de encontrar Además se le pueden solicitar tareas de investigación que hagan que el curso avance en forma más fluida. implementación de software. Acetatos.Teoria de la Computación 4.Proyecto Terminal (investigación de aplicación) 25% 25% 20% 20% 10% Página 5 de 6 Centro Universitario de la Ciénega Departamento de Computo – Coordinación de Carreras . CRITERIOS CALIFICACION La calificación final se compone de los siguientes aspectos: .Introducción a las Ciencias de la Computación J. Fuentes de consulta en internet.Implementación del Software .Tareas (investigaciones y problemas) . CRITERIOS DE EVALUACIÓN Se evaluará a lo largo del periodo escolar mediante exámenes parciales departamentales. se presentará un examen extraordinario departamental. MATERIAL DE APOYO ACADEMICO Notas sobre el curso.. Glenn Brookshear Editorial Addison Wesley Como comentario adicional se puede comentar que otros textos con títulos semejantes a los cuatro anteriores. pueden ser considerados como parte de esta bibliografía complementaria. tareas y un proyecto final. Aplicaciones desarrolladas por los alumnos de cursos anteriores.Segundo Examen Parcial Departamental . MODALIDAD DE ENSEÑANZA Y APRENDIZAJE En virtud de que el contenido del curso es adecuado para que el alumno desarrolle su creatividad. 2. Página 6 de 6 Centro Universitario de la Ciénega Departamento de Computo – Coordinación de Carreras . APLICACIÓN PROFESIONAL Comprender la importancia de la teoría matemática en aplicaciones prácticas relacionadas con su campo de estudio.Teoria de la Computación CRITERIOS DE ACREDITACION 1. 3...Presentar funcionando correctamente por lo menos el 80% de los proyectos que corresponden a la implementación de software. además de¡ proyecto terminal. 3. 2...Obtener por lo menos 60 puntos totales acumulados de un máximo de 100 puntos posibles..Obtención de los conocimientos necesarios para la elaboración de la etapa de análisis de un compilador.Conseguir un promedio mínimo de 60 (sobre 100) en los dos exámenes parciales.. COMPETENCIAS QUE SE PUEDEN ADQUIRIR 1.Habilidad para implementar modelos matemáticos a partir de sistemas de tipo electrónico o computacional.Conocimiento más profundo sobre la computabilidad de los algoritmos.