UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR. Ciencias de la ingeniería

Transcripción

1 UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR DEPARTAMENTO ACADÉMICO DE SIS COMPUTACIONALES INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL ASIGNATURA Teoría de la computación ÁREA DE Ciencias de la ingeniería CONOCIMIENTO ETAPA DE FORMACIÓN Disciplinaria CLAVE ICC504 SEMESTRE V CRÉDITOS 8 HORAS TEORÍA 4 HORAS PRÁCTICA 0 CARÁCTER DE LA OBLIGATORIA MATERIA TEÓRICA SERIACIÓN NINGUNA HORAS INFRAESTRUCTURA 2 DE CÓMPUTO RECURSOS Pizarrón NECESARIOS Plumones INTRODUCCIÓN La asignatura de Teoría de la Computación forma parte del área de conocimiento de Ciencias de la Ingeniería. Se imparte en el quinto semestre de la carrera. Esta asignatura contribuye a la formación básica del alumno en el dominio de herramientas, así como al desarrollo de un pensamiento crítico y reflexivo de resolución de problemas. COMPETENCIA DEL CURSO Definir de manera formal lenguajes de programación sencillos y reconocer en los autómatas y máquinas de Turing el modelo matemático de las computadoras con la finalidad que el alumno desarrolle habilidades de análisis con un alto sentido de responsabilidad y de trabajo en equipo, bajo un ambiente de tolerancia y respeto hacia sus compañeros y a su medio.

2 CONOCIMIENTOS UNIDAD I NOMBRE INTRODUCCIÓN Emplear con facilidad los conceptos y herramientas básicas para la teoría de lenguajes autómatas. 1. Teoría de Conjuntos 1.1. Unión e intersección 1.2. Complemento y diferencia simétrica 1.3. Conjunto potencia 1.4. Operaciones arbitrarias 2. Relaciones y funciones 2.1. Funciones inyectivas y sobreyectivas 3. Inducción Matemáticas AUTÓMATAS FINITOS Y LENGUAJES UNIDAD II NOMBRE REGULARES Definir lenguajes regulares y para transformar autómatas finitos determinísticos en expresiones regulares y viceversa. 1. Lenguajes 1.1. Alfabetos 1.2. Cadenas de símbolos 1.3. Expresiones y lenguajes regulares 1.4. Lenguajes regulares 2. Autómatas finitos determinísticos 3. Transformación de LR en AFD

3 UNIDAD III NOMBRE DETERMINISMO Y NO DETERMINISMO Analizar el no determinismo y determinismo para modelar el cómputo paralelo y la equivalencia entre AFD y AFN. 1. Autómatas finitos no determinístico (AFN) 2. Función de transición no determinística. 3. Equivalencia entre los AFD y AFN. AUTÓMATAS DE PILA Y GRAMÁTICAS LIBRES UNIDAD IV NOMBRE DE CONTEXTO Reconocer en las gramáticas libres de contexto su función en la definición de lenguajes de programación y las diversas etapas de un proceso de compilación. 1. Autómatas de pila 2. Gramáticas libres de contexto 3. Lenguajes libres de contexto 4. Autómatas de pila no determinísticos 5. Lenguajes ambiguos UNIDAD V NOMBRE MÁQUINAS DE TURING Reconocer a la máquina de Turing como el modelo matemático de las computadoras actuales e identificar algunas aplicaciones y limitaciones del modelo. 1. Definición de Máquina de Turing 2. MT no determinísticas 3. Lenguajes sensibles al contexto 4. Máquinas de Turing universales 5. El problema de la parada

4 HABILIDADES Pensamiento crítico y reflexivo, organización y planificación, solución de problemas, creatividad, comunicación y autoaprendizaje. ACTITUDES Honestidad, responsabilidad, creatividad, trabajo en equipo, tolerancia y respeto hacia sus compañeros y a su medio. ESTRATEGIAS DE APRENDIZAJE Estrategias de información Estrategias organizativas Estrategias analíticas Estrategias inventivas Estrategias evaluativas para la toma de decisiones Estrategias de asimilación y retención de información Estrategias comunicativas Estrategias sociales Estrategias psicomotoras PRÁCTICAS Implementación de autómata finito determinista AFD. Implementación de autómata finito no determinista AFN. Conversión de expresiones regulares a AFN. Diseño de gramáticas libres de contexto. Representación de una máquina de Turing. ESTRATEGIAS DE EVALUACIÓN Ejercicios de aplicación Trabajos Tareas Exámenes de conocimiento Participación en clase Supervisión de actitudes y valores

5 EVIDENCIA DE DESEMPEÑO Aplicación de las máquinas de Turing. Exámenes de conocimientos BIBLIOGRAFÍA No. TITULO AUTOR EDITORIAL AÑO CATÁLOGO PÚBLICO 1 TEORÍA DE LA COMPUTACIÓN BROOKSHEAR 2 TEORÍA DE LENGUAJES FORMALES Y AUTÓMATAS ULMAN HOPCROFT 3 COMPILADORES AÑO, SETNI ULMAN 4 FUNDAMENTOS DE COMPILADORES CAROL LEMONE CECSA 1997