Introducción y conceptos preliminares
Nota 1. Introducción (pdf)(html)
Nota 2. Conceptos y definiciones básicas (pdf)(html)
Autómatas Finitos y expresiones regulares
Nota 3. Autómatas de estados finitos (pdf)(html)
Nota 4. Expresiones Regulares (pdf)(html)
Nota 5. Minimización de un AFD (pdf)(html)
Nota 6. Lema del bombeo, teorema Myhill-Nerode y propiedades de cerradura (pdf)(html)
Gramáticas libres de contexto y autómatas de pila
Nota 7. Gramáticas libres de contexto (pdf)(html)
Nota 8. Gramáticas regulares y Forma Normal de Chomsky (pdf)(html)
Nota 9. Algoritmo CKY (pdf)(html)
Nota 10. Autómatas de Pila (pdf)(html)
Nota 11. Forma Normal de Greibach y teorema de Chomsky-Schützenberger (pdf)(html)
Nota 12. Lema del bombeo y propiedades de cerradura para lenguajes libres de contexto (pdf)(html)
Máquinas de Turing y reducción entre lenguajes
Nota 13. Máquinas de Turing (pdf)(html)
Nota 14. Lenguajes recursivos y recursivamente enumerables. Reducción entre lenguajes (pdf)(html)