Conferencias. - 1 Hoja de ruta del curso y perspectiva histórica. - 2 cuerdas y juegos. - 3 Autómatas finitos y conjuntos regulares. - 4 Más en series regulares. - 5 Autómatas finitos no deterministas. - 6 La construcción del subconjunto. - 7 Coincidencia de patrones. - 8 Coincidencia de patrones y expresiones regulares. - 9 Expresiones regulares y autómatas finitos. - Un álgebra de Kleene y expresiones regulares. - 10 Homomorfismos. - 11 Limitaciones de los autómatas finitos. - 12 Usando el lema de bombeo. - 13 Minimización del estado de DFA. - 14 Un algoritmo de minimización. - 15 Relaciones de MyhillNerode. - 16 El teorema de MyhillNerode. - B Autómatas no deterministas colapsantes. - C Autómatas en Términos. - D El teorema de MyhillNerode para autómatas de términos. - 17 Autómatas finitos bidireccionales. - 18 2DFA y conjuntos regulares. - 19 Gramáticas y lenguajes libres de contexto. - 20 paréntesis equilibrados. - 21 Formas normales. - 22 El lema de bombeo para las lámparas fluorescentes compactas. - 23 Autómatas de empuje. - E Estado final versus pila vacía. - 24 PDA y CFG. - 25 Simulación de NPDA por CFG. - F Autómatas de empuje determinista. - 26 Análisis. - 27 El algoritmo CockeKasamiYounger. - G El teorema de ChomskySchützenberger. - Teorema de H Parikh. - 28 Máquinas de Turing y computabilidad efectiva. - 29 Más sobre las máquinas de Turing. - 30 modelos equivalentes. - 31 Máquinas universales y diagonalización. - 32 Problemas decidibles e indecidibles. - 33 Reducción. - 34 Teorema de Rice. - 35 Problemas indecidibles sobre las CFL. - 36 Otros formalismos. - 37 El cálculo a. - I Mientras programas. - J Más allá de la indecidibilidad. - 38 Teorema de incompletitud de Gödel. - 39 Prueba del teorema de incompletitud. - Prueba de K Gödel. -Ejercicios. - Juegos de tareas. - Tarea 1. - Tarea 2. - Tarea 3. - Tarea 4. - Tarea 5. - Tarea 6. - Tarea 7. - Tarea 8. - Tarea 9. - Tarea 10. - Tarea 11. - Tarea 12. - Ejercicios varios. - Autómatas finitos y conjuntos regulares. - Autómatas pushdown y lenguajes libres de contexto. - Máquinas de Turing y computabilidad efectiva. - Consejos y soluciones. - Consejos para ejercicios varios seleccionados. - Soluciones a ejercicios misceláneos seleccionados. -Referencias. - Notación y abreviaturas. Idioma: Inglés