1.

- DATOS DE LA ASIGNATURA Nombre de la asignatura: Teora de la computacin Carrera: Ingeniera en Sistemas Computacionales Clave de la asignatura: SCM - 0433 Horas teora-horas prctica-crditos 3-2-8

2.- HISTORIA DEL PROGRAMA

Lugar y fecha de elaboracin o Participantes revisin Instituto Tecnolgico Representantes de la academia de sistemas y de Toluca del 18 al 22 agosto 2003. computacin de los Institutos Tecnolgicos. Instituto Tecnolgico de: Durango, Veracruz. 23 agosto al 7 de noviembre 2003.

Observaciones (cambios y justificacin) Reunin nacional de evaluacin curricular de la carrera de Ingeniera en Sistemas Computacionales.

Academia de sistemas y Anlisis y enriquecimiento de computacin. las propuestas de los programas diseados en la reunin nacional de evaluacin. Definicin de los programas de estudio de la carrera de Ingeniera en Sistemas Computacionales.

Instituto Tecnolgico Comit de consolidacin de Len de la carrera de 1 al 5 de marzo 2004. Ingeniera en Sistemas Computacionales.

3.- UBICACIN DE LA ASIGNATURA a). Relacin con otras asignaturas del plan de estudio Anteriores Asignaturas Temas Estructuras Estructura de lineales estticas datos. y dinmicas. Matemticas para computadoras. Programacin Orientada a Objetos. Relaciones Teora de grafos. Posteriores Asignaturas Temas Programacin de Anlisis Lxico. sistemas. Sistemas operativos. Administracin de procesos y del procesador. Administracin de la memoria.

Inteligencia artificial Representacin I. del conocimiento y razonamiento.

b). Aportacin de la asignatura al perfil del egresado Comprende la base terica para la construccin de sistemas formales y utiliza tcnicas de programacin para modelarlos. 4.- OBJETIVO(S) GENERAL(ES) DEL CURSO El estudiante comprender la base terica para la construccin de sistemas formales y utilizar tcnicas de programacin para modelarlos.

5.- TEMARIO Unidad Temas 1 Introduccin. 1.1 1.2 Subtemas Autmatas, computabilidad y complejidad. Nociones matemticas. 1.2.1 Conjuntos 1.2.2 Funciones y Relaciones 1.2.3 Cadenas y Lenguajes Induccin matemtica.

1.3 2 Lenguajes regulares.

2.1 Autmatas finitos 2.1.1 Autmatas finitos determinsticos. 2.1.2 Autmatas finitos No determnisticos 2.2 Expresiones regulares. 2.3 Lenguajes no regulares. 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 Gramticas libres de contexto. rboles de derivacin. Formas normales de Chomsky. Formas normales de Greibach. Eliminacin de Factores Comunes izquierdos. Eliminacin de recursividad izquierda. Eliminacin de la ambigedad. Autmatas Push-Down. Lenguajes no regulares.

Lenguajes libres de contexto.

Mquina de Turing.

4.1 Definicin formal de una mquina de Turing. 4.2 Construccin modular de una mquina de Turing. 4.3 Lenguajes aceptados por la MT. 4.4 Variantes de una mquina de Turing. 4.5 Problemas de Hilbert. 5.1 Lenguajes Decidibles. 5.2 El problemas de Halting. 5.3 Decidibilidad de Teoras Lgicas.

Decibilidad.

5.- TEMARIO (Continuacin) 6 Reducibilidad. 6.1 Problemas insolubles para la teora de lenguajes. 6.2 Un problema simple insoluble. 6.3 Funciones computables. 6.4 Reducibilidad de Turing.

6.- APRENDIZAJES REQUERIDOS Conocer la teora vista en matemticas discretas, como base conjuntos, funciones y relaciones. Conocer y manejar las estructuras de datos, su representacin y programacin. Conocer y manejar lenguajes de programacin de alto nivel.

7.- SUGERENCIAS DIDCTICAS Investigacin previa a la clase de los conceptos de la asignatura, por equipos analizarlos y discutirlos Propiciar el trabajo por equipos, exposicin, discusin grupal, entre otros Plantear y analizar casos tpicos Desarrollar prcticas en laboratorio para modelar casos tipo Realizar ejercicios como reforzamiento de temas Realizar dinmicas de grupo que permitan reforzar la teora

8.- SUGERENCIAS DE EVALUACIN Evaluacin terica Elaboracin de ejercicios Prcticas de laboratorio para modelar a travs de lenguajes computacionales Prcticas en laboratorio de electrnica para la programacin de PLCs o utilizar un simulador Visitas a laboratorios de Ingeniera Industrial para conocer el funcionamiento de un CIM o a travs de un simulador Trabajos de investigacin (artculos, libros, Internet, etc.) Elaboracin de ensayos y artculos sobre Teora de la Computacin

9.- UNIDADES DE APRENDIZAJE UNIDAD 1.- Introduccin. Objetivo Educacional El estudiante reafirmar las bases matemticas necesarias para la teora de la computacin. Actividades de Aprendizaje Realizar ejercicios de conjuntos, funciones y relaciones. Realizar anlisis de grafos. Realizar anlisis de complejidad en algoritmos. Realizar ejercicios en donde se aplique Induccin matemtica. Analizar la complejidad de algoritmos y realizar modificaciones que mejoren su desempeo. Investigar acerca de la teora de la computacin, las bases que lo soportan as como sus aplicaciones. Fuentes de Informacin

UNIDAD 2.- Lenguajes regulares. Objetivo Educacional Representar lenguajes a travs de autmatas, expresiones regulares y su aplicacin. Actividades de Aprendizaje Desarrollar ejercicios para la representacin de lenguajes por medio de AFD, AFN, AFN- y expresiones regulares. Utilizar un lenguaje de programacin de alto nivel para representar expresiones regulares. Realizar prcticas de laboratorio para la programacin de PLCs, como casos de aplicacin de autmatas. Desarrollar una herramienta que genere cdigo libre de errores a partir de la representacin grfica de autmatas. Investigar que otras aplicaciones tiene la teora de lenguajes regulares. Fuentes de Informacin

UNIDAD 3.- Lenguajes libres de contexto. Objetivo Educacional Comprender la teora de lenguajes de contexto libre y su representacin. Actividades de Aprendizaje Identificar los diferentes tipos de lenguajes de acuerdo a la clasificacin de Chomsky. Realizar ejercicios que permitan desarrollar la habilidad para representar lenguajes libres de contexto. Utilizar un lenguaje de alto nivel para representar lenguajes libres de contexto, solamente como casos tipo. Investigar otros usos que se le pude dar a la teora de lenguajes libres de contexto. Investigar nuevas tcnicas para la representacin de lenguajes libres de contexto. Fuentes de Informacin

UNIDAD 4.- Mquina de Turing. Objetivo Educacional Comprender la representacin de lenguajes y funciones en una mquina de Turing. Actividades de Aprendizaje Realizar ejercicios que permitan la representacin de operaciones matemticas bsicas como suma, resta, multiplicacin, potencia, entre otros. Utilizar la teora para la representacin de lenguajes. Simular a travs de un lenguaje de alto nivel, la representacin de una mquina de Turing. Fuentes de Informacin

UNIDAD 5.- Decibilidad. Objetivo Educacional Comprender la teora de la decibilidad aplicada a lenguajes. UNIDAD 6.- Reducibilidad. Objetivo Educacional Aplicar la teora de la reducibilidad. Actividades de Aprendizaje Resolver problemas de undecibilidad en la teora lenguajes. Analizar casos en donde se requiera la aplicacin de la reducibilidad. Elaborar un ensayo a partir de los casos analizados en el punto 6.2. Desarrollar a travs de un lenguaje de alto nivel, problemas tipo de reducibilidad. Fuentes de Informacin Actividades de Aprendizaje Desarrollar problemas de decibilidad aplicado a lenguajes regulares. Desarrollar problemas de decibilidad aplicado a lenguajes libres de contexto. Analizar problemas en donde se aplique la decibilidad. Investigar otras reas del conocimiento en donde se aplique la teora de decibilidad. Desarrollar un ensayo a partir de los resultados de la investigacin realizada en el punto 5.4. Desarrollar, a travs de un lenguaje de alto nivel, problemas tipo de decibilidad. Investigarel teorema de Godel. Fuentes de Informacin

10. FUENTES DE INFORMACIN 1. Martin, John C. Introduction to Languages and the Theory of Computation. Prentice Hall. 2. Sipser, Michael. Introduction to the Theory of Computation. PWS Publishing Company. 3. Cohen, Daniel I.A. Introduction to Computer Theory. Ed. Wie Wiley. 4. Davis, Martn D., Weyuker, Elaine. Computability, Complexity and Languages Fundamentales of Teorical Computer Science. Academic Press. 5. Denning, Peter J. Machines, Langueges and Computation.Prentice Hall. 6. Hopcroft, John, Ullman, Jeffrey. Introduction to Automatas Theory, Languages and Computation. Addison-Wesley. 7. Kelley, Dean. Teora de Automatas y Lenguajes Formales.Prentice Hall. 8. Lewis, Larry., Papadimitrion, Chistos H. Elements of the Theory of Computation. Prentice Hall. 9. Rayward-Smith, V.S. A First Course in a Formal Language Theory. Mc Graw Hill. 10. Jeffey E.F. Friedl. Mastering Regular Expressions. Oreilly & Associates, Inc. 11. Brookshear. Teora de la Computacin, Lenguajes Formales, Autmatas y Complejidad. Addison Wesley. 12. Isasi, Martnez y Borrajo. Lenguajes, Gramticas y Autmatas. Addison Wesley.

11. PRCTICAS

Unidad Prctica 1 Analizar la complejidad de un algoritmos y modificarlo para mejorar su desempeo. Los casos propuestos, podrn estar relacionados con mtodos de ordenamiento iterativos o recursivos Desarrollar a travs de un lenguaje de programacin de alto nivel la representacin de lenguajes simples a travs de AFDs. Realizar prcticas en el laboratorio de electrnica para la programacin de PLCs, como casos de aplicacin de autmatas o en su defecto el uso de simuladores de software.

Desarrollar una herramienta de software que genere cdigo libre de errores a partir de la representacin grfica de autmatas. Analizar la funcionalidad de flex o lex como herramientas orientadas a la generacin de cdigo para compilador de compilador. Utilizar un lenguaje de alto nivel para representar lenguajes libres de contexto, solamente como casos tipo. Analizar la funcionalidad de yacc o bison, como herramientas orientadas a la generacin de cdigo para compilador de compilador. Simular a travs de un lenguaje de alto nivel, la representacin de una mquina de Turing

6 7