Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
PROGRAMA SINTTICO CARRERA: Ingeniera en Computacin. ASIGNATURA: Teora de Autmatas. OBJETIVO GENERAL
El alumno disear un autmata que decida un lenguaje o que calcule funciones recursivas. Explicar la equivalencia entre algoritmos y mquinas de Turing.
SEMESTRE:
Cuarto
CONTENIDO SINTTICO:
I. II. III. IV. Lenguajes y gramticas. Autmatas de estado finito. Autmatas de pila (stack). Autmatas linealmente acotados. Mquinas de Turing.
V.
METODOLOGA:
Preparacin y discusin de los temas por parte de los alumnos as como la resolucin de problemas bajo la supervisin del profesor. Trabajo en equipo.
EVALUACIN Y ACREDITACIN:
Participacin en actividades de clase, presentacin y calidad de trabajos extra clase, aplicacin de tres exmenes parciales o departamentales durante el semestre. La calificacin final ser el promedio de las evaluaciones anteriores, siempre y cuando el alumno cumpla con lo estipulado en la reglamentacin institucional.
BIBLIOGRAFA:
Hopcroft, John E. And Ullman Jefrey D., Introduccin a la Teora de Autmatas, Lenguajes y Computacin, Edit. Addison-Wesley, U.S.A, Edit. 2002 Kelley, Dean, Introdccin a la Teora de Autmatas y Lenguajes Formales, Edit. Prentice Hall, Espaa, Edic. 1995 Linz, Peter., An Introductin to Formal Lenguajes and Automata, Jones an Bartlett Publishers, Inc. U.S.A. Edit. 2001
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
ESCUELA SUPERIOR DE INGENIERA MECNICA Y ELCTRICA Unidad Culhuacan. CARRERA: Ingeniera en Computacin OPCIN: COORDINACIN: Academia de Computacin DEPARTAMENTO: Ingeniera en Computacin ASIGNATURA: Teora de autmatas SEMESTRE: Cuarto CLAVE: CRDITOS: 12 VIGENTE: TIPO DE ASIGNATURA: Terica MODALIDAD: Escolarizada.
TIEMPOS ASIGNADOS
PROGRAMA ELABORADO O ACTUALIZADO POR: Academia de computacin de la ESIME Culhuacan REVISADO POR: Subdireccin Acadmica de ESIME Culhuacan APROBADO POR: Consejo Tcnico Consultivo Escolar de ESIME Culhuacan. Ing. Fermn Valencia Figueroa.
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
CLAVE
HOJA: 2 DE 8
FUNDAMENTACIN DE LA ASIGNATURA
El progreso de las ciencias de la computacin ha sido basado en la notacin formal matemtica y lgica dentro de la cual se han desarrollado los lenguajes formales, los cuales han sido clasificados por Chomsky permitiendo ubicar a los lenguajes de programacin en las gramticas de contexto libre, as como a los Autmatas de estado finito dentro de las gramticas regulares. Un Autmata tendr un equivalente en una gramtica, a su vez desarrollar una manera de pensar, la cual conduce a una estructura, a un comportamiento y a limitaciones y capacidades de mquinas lgicas. El estudio de la Teora de Autmatas permitir al profesional de la Carrera de Ingeniera en Computacin comprender las capacidades conceptuales y limitaciones de lo que utilizar rutinariamente como herramienta: la computacin y los lenguajes de programacin; adquiriendo nuevas herramientas de anlisis y criterio para la elaboracin y diseo de Autmatas lgicos. Las Matemticas discretas son antecedentes de esta asignatura cuyos conceptos y herramientas sern aplicables consecuentemente a la materia de Compiladores, Arquitectura de Computadoras y Bases de Datos.
OBJETIVO DE LA ASIGNATURA
EL alumno disear un autmata que decida un lenguaje o que calcule funciones recursivas. Explicar la equivalencia entre algoritmos y mquinas de Turing.
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
HOJA: 3 DE 8
TEMAS Terminologa, notacin y conceptos elementales, alfabeto, smbolos, cadena vaca, lenguaje, gramtica. Lenguajes: Propiedades de un alfabeto cerrado de Kleene, cerradura positiva y su relacin con el lenguaje. Operaciones con lenguaje: Unin. Concatenacin. Potenciacin. Gramtica Generativa y rboles de Derivacin Smbolos Terminales. Smbolos No Terminales. Smbolos Iniciales. Reglas de Produccin. Derivacin de palabras. Jerarqua de Chomsky para las gramticas Gramticas tipo 0 o de estructuras de frase. Gramticas tipo 1 o sensitiva al contexto. Gramtica tipo 2 o de libre contexto. Gramtica tipo 3 o regular. Gramticas y Lenguajes.
CLAVE BIBLIOGRFICA EC 3.0 1B, 2C, 4B, 6C, 7B, 8C, 12C, 13C 4.5
1.3
4.5
4.5
1.4
4.5
4.5
4.5
4.5
1.0
1.0
ESTRATEGIA DIDCTICA
Preparacin de los temas por parte del alumno antes de la clase bajo la gua del profesor. Desarrollo de trabajos extra clase. Desarrollo de las definiciones formales y ejemplos de cada tema por parte del profesor.
PROCEDIMIENTO DE EVALUACIN
El primer departamental abarcar las unidades I y II. La evaluacin ser sumativa sobre la calidad de los trabajos desarrollados para cada tema.
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
CLAVE:
HOJA: 4 DE 8
No. TEMA
TEMAS
HORAS
CLAVE BIBLIOGRFICA
T
Especificacin de un autmata de estado finito. Autmata Finito Determinista. Autmata Finito No Determinista. Autmatas y expresiones regulares. Conversin de Autmatas Finitos No Determinista a determinista. Minimizacin de Estados. Relaciones de equivalencias entre los estados de un autmata finito. Algoritmo de Minimizacin. Autmatas Finitos y Gramtica Regular. Obtencin de una gramtica regular a partir de un autmata finito. Obtencin de una autmata finito a partir de un gramtica regular. Operaciones con autmatas. Lenguajes que no son regulares. 4.5
EC
4.5 1B, 2C, 4B, 6B, 8C, 12C, 13C
2.1 2.1.1 2.1.2 2.1.3 2.1.4 2.2 2.2.1 2.2.2 2.3 2.3.1 2.3.2 2.4 2.5
7.5
7.5
7.5
7.5
6.0 1.5
6.0 1.5
ESTRATEGIA DIDCTICA
Investigacin de conceptos por parte del alumno. Desarrollar en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Formacin de grupos para la solucin de ejercicios coordinados por el profesor. Realizacin de tareas y trabajos extra clase.
PROCEDIMIENTO DE EVALUACIN
La evaluacin ser sumativa sobre la calidad de los trabajos desarrollados para cada tema, adems de las evaluaciones por exmenes parcial.
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
CLAVE:
HOJA: 5 DE 8
No. TEMA 3.1 3.1.1 3.1.2 3.2 3.2.1 3.2..2 3.3 3.3.1
TEMAS T Especificacin de un Autmata de Pila Aceptacin por Pila Vaca Aceptacin por Estado Final Formas Normales para Gramtica Libres de Contexto Formas Normales de Chomsky Formas Normales de Greinbach Relacin entre Autmata de Pila y Gramtica Libre de Contexto. Obtencin de un Autmata de Pila a partir de una Gramtica 7.5
HORAS P
CLAVE BIBLIOGRFICA EC 7.5 1B, 2C, 4B, 6B, 8C, 12C, 13C
7.5
7.5
6.0
6.0
ESTRATEGIA DIDCTICA
Preparacin de los temas antes de la clase bajo la gua del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Desarrollo de trabajos extra clase con la finalidad de dominar cada tema.
PROCEDIMIENTO DE EVALUACIN
El segundo examen departamental abarcar la unidad III, siendo la evaluacin sumativa sobre la calidad de los trabajos desarrollados para cada tema.
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
CLAVE:
HOJA: 6 DE 8
No. TEMA
TEMAS
HORAS
CLAVE BIBLIOGRFICA
T
Gramtica sensible al contexto. Forma normal de Kuroda. Especificacin de un autmata de doble pila. Especificacin de un Autmata Linealmente Acotado 4.5 4.5 3.0
EC
4.5 4.5 3.0 1B, 2C, 4B, 6B, 7B, 8C, 12C, 13C
ESTRATEGIA DIDCTICA
Preparacin de los temas antes de la clase bajo la gua del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Desarrollo de trabajos extra clase con la finalidad de dominar cada tema. Uso de recursos audiovisuales.
PROCEDIMIENTO DE EVALUACIN
La evaluacin ser sumativa sobre la calidad de los trabajos desarrollados para cada tema, adems de las evaluaciones por exmenes parcial.
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
CLAVE:
HOJA: 7 DE 8
El alumno disear una Mquina de Turing para funciones recursivas primitivas, explicar el problema del paro de una Mquina de Turing y los conceptos de Decidibilidad y Computabilidad.
No. TEMA 5.1 5.1.1 5.2 5.2.1 5.2.2 5.2.3 5.2.4 5.3 5.3.1 5.4 5.5 5.5.1 5.6 5.6.1 5.6.2 5.6.3 5.6.4
TEMAS T Gramticas de estructura de frase. Forma normal de una gramtica tipo 0. Especificaciones de la Mquina de Turing. Definicin y notacin. Construccin de un Mquina de Turing. Mquina de Turing. Problemas de Paro. Decidibilidad La Tesis de Chvrch-Turing Computabilidad Otros modelos de Mquina de Turing. Mquina Multicinta Otros modelos de computacin Funciones Recursivas Primitivas Funciones Recursivas Parcial Mquina de Acceso Aleatorio Autmatas Celulares 4.0 6.0
HORAS P
CLAVE BIBLIOGRFICA EC 4.0 6.0 1B, 2C, 4B, 6C, 7B, 8B, 12B, 13C
ESTRATEGIA DIDCTICA
Preparacin de los temas antes de la clase bajo la gua del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Formacin de grupos para la discusin de resultados. Desarrollo de trabajos extra clase con la finalidad de dominar cada tema.
PROCEDIMIENTO DE EVALUACIN
El tercer examen departamental abarcar las unidades IV y V, siendo la evaluacin sumativa sobre la calidad de los trabajos desarrollados para cada tema.
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
CLAVE:
HOJA: 8 DE 8
PROCEDIMIENTO DE EVALUACIN
20 % Bsqueda de informacin y tareas. 80 % Examen del Primer Departamental 20 % Bsqueda de informacin y tareas. 80 % Examen del Primer Departamental 20 % Bsqueda de informacin y tareas. 80 % Examen del Primer Departamental
CLAVE
1
B
X
BIBLIOGRAFA
HOPCROFT,John E. and Ullman Jefrey D. Introduccin a la Teora de Autmatas, Lenguajes y Computacin Edit. Addison-Wesley, U.S.A, Edic. 2002
HOPCROFT,John E. and Ullman Jefrey D. Introduction to Automata Theory Languages and Computation Edit. Addison-Wesley, U.S.A, Edic. 1979 KELLEY,Dean , Introdccin a la Teora de Autmatas y Lenguajes Formales Edit.Prentice-Hall ,Espaa,Edic. 1995 GARCIA,Pedro, Prez, Tomas, Teora de Autmatas y Lenguajes Formales Edit. Alfaomega, Espaa, Edic.2001
3 4 5 6 7 8 9 10 11 12 13
X X X X X X X X X X X
MINSKY,M.., Computation: Finite and Ininite Machines Edit. Prentice-Hall, U.S.A , 1967 KAIN,R.Y., Automata Theory: Machines and Languages Edit. McGraw Hill, U.S.A, Edic.1972 RVISZ ,Gyorgy E., Introduction to Formal Languages Edit. McGraw Hill, U.S.A, Edic.1983 Kimber, Efim., Theory of Computing, Edit.Prentice Hall, Inglaterra, Edic.2001 Backhouse, Roland C., Sintax of Programming Languages, Theory and Practice Edit. Prentice Hall International, England,Edic.1979 Wolfram,S, Cellular Automata and Complexity, Edit. Addison Wesley, U.S.A, Edic.1994 Linz, Peter., An Introductin to Formal Lenguajes and Automata Jones an Bartlett Publishers, Inc. U.S.A. Edit. 2001 Lewis, Harry and Papadimitriov, Christos, Elements of the Theory of Computation, Prentice Hall, U.S.A. Edit. 1998 Carroll. John and Darrel, Long, Theory of Finite Automats With an Introducction to Formal Languajes, Prentice Hall, U.S.A. Edit. 1989
INSTITUTO POLITCNICO NACIONAL SECRETARA ACADMICA DIRECCIN DE ESTUDIOS PROFESIONALES EN INGENIERA Y CIENCIAS FSICO MATEMTICAS
2. OBJETIVOS DE LA ASIGNATURA El alumno disear un autmata que decida un lenguaje o que calcule funciones recursivas. Explicar la equivalencia entre algoritmos y mquinas de Turing. 3. PERFIL DOCENTE: CONOCIMIENTOS Fuerte formacin terica en Teora de la computacin. EXPERIENCIA PROFESIONAL Haber impartido clases Formacin pedaggica HABILIDADES Dominio de la asignatura Manejo de grupos Comunicacin (Transmisin del conocimiento) Capacidades de anlisis y sntesis Motivacin al alumno Manejo de materiales didcticos Creatividad. ACTITUDES Tener vocacin por la docencia Honestidad Ejercicio de la critica fundamentada. Respeto (buena relacin maestro-alumno) Tolerancia tica Responsabilidad cientfica Espritu de colaboracin Superacin docente y profesional
ELABOR
REVIS
AUTORIZ
______________________
ING. JORGE VELOZ ORTIZ PRESIDENTE DE LA ACADEMIA DE COMPUTACIN
__________________________
M. EN C. ALBERTO PAZ GUTIRREZ SUBDIRECTOR ACADMICO.
________________________
ING. FERMN VALENCIA FIGUEROA DIRECTOR FECHA: Marzo de 2004