Documentos de Académico
Documentos de Profesional
Documentos de Cultura
I Autmatas finitos 1. 2. 3. 4. 5. 6. Determinsticos, no determinsticos Lenguajes regulares lgebras de Kleen El lema de bombeo Minimizacin de estados El teorema de Myhill-Nerode.
II Autmatas de pila y lenguajes libres de contexto 1. 2. 3. 4. 5. Formas normales Lema de bombeo Algoritmo Cocke-Kasami-Younger Teorema de Chomsky-Sctzenberger Teorema de Parikh's
III Mquinas de Turing y computabilidad efectiva 1. 2. 3. 4. 5. 6. 7. El modelo bsico de las maquinas de Turing Lenguajes computables y funciones Tcnicas para construir Mquinas de Turing Modificaciones a la Mquina de Turing Hiptesis de Church Mquinas de Turing como enumeradores Mquinas de Turing restringidas pero equivalentes al modelo bsico
IV Teora de las funciones recursivas 1. 2. 3. Funciones primitivas recursivas Funciones -recursivas Equivalencia de los modelos computacionales y la tesis de Church
V Indecibilidad 1. 2. 3. 4. 5. 6. 7. 8. Problemas Propiedades de los lenguajes recursivos y los recursivamente enumerables Mquina universal de Turing y problemas indecidibles Teorema de Rice Indecibilidad del problema de correspondencia de Post Cmputos vlidos e invlidos en una maquina de Turing Problemas indecidibles en gramticas libres de contexto Teorema de Greibach, cmputo con orculos
VI Clases de complejidad en tiempo y espacio 1. 2. 3. Clases cannicas Complementacin Teoremas de jerarqua y diagonalizacin., clases de complejidad alternantes
2. 3. 4. 5. 6. 7.
Lenguajes completos y el teorema de Cook Problemas NP-completos y pruebas de completitud Problemas NP-duros El problema P=NP Problemas completos para NL P y PSPACE
Referencias Aho, Hopcroft, Ullman Atallah, M.J. Barendregt, H.P. Dunne, P.E. Dybbig, K., Dibvig, R.K. Friedman, D.E. et al. Kozen, D.C. The Design and Analysis of Computer Algorithms Algorithms of Theory and Computation Handbook The Lambda Calculus Computability Theory Scheme Programming Language, The: ANSI Scheme Essentials of Programming Languages, 2nd ed. Automata and Computability