• General

    Teoría de Autómatas y Lenguajes Formales (2010)

    • Material de Clase

       1. Lenguajes Regulares

      • MC-F-001. Tema 1.1. Introducción a los Procesos Algorítmicos.
      • MC-F-002. Tema 1.2. Lenguajes Formales y Monoides.
      • MC-F-003. Tema 1.3. Las Gramáticas Formales.
      • MC-F-004. Tema 1.4. La Jerarquía de Chomsky.
      • MC-F-005. Tema 1.5. Expresiones Regulares.
      • MC-F-006. Tema 1.6. Expresiones Regulares y Derivadas Formales.
      • MC-F-007. Tema 1.7. Expresiones Regulares y Derivadas Formales. Las Derivadas Sucesivas.
      • MC-F-008. Tema 1.8. Expresiones Regulares y Gramáticas Regulares. Sistemas Lineales.

      2. Autómatas Finitos y Relación con Expresiones Regulares

      • MC-F-009. Tema 2.1. Introducción.
      • MC-F-010. Tema 2.2. El Lenguaje aceptado por un Autómata e Indeterminismo.
      • MC-F-011. Tema 2.3. Descripción de los Lenguajes Aceptados por Autómatas.
      • MC-F-012. Tema 2.4. Lenguajes No Regulares. Problemas que los Autómatas No Resuelven.
      • MC-F-013. Tema 2.5. Minimización de autómatas.

      3. Gramáticas Libres de Contexto y Autómatas con Pila

      • MC-F-014. Tema 3.1. introducción.
      • MC-F-015. Tema 3.2. La Representación de las Gramáticas: Símbolos Útiles.
      • MC-F-016. Tema 3.3. Hacia las Gramáticas Propias.
      • MC-F-017. Tema 3.4. Hacia las Gramáticas Propias II.
      • MC-F-018. Tema 3.5. La Forma Normal de Chomsky.
      • MC-F-019. Tema 3.6. El Autómata con Pila.
      • MC-F-020. Tema 3.7. El Autómata con Pila: Transiciones.
      • MC-F-021. Tema 3.8. El Lenguaje aceptado por un Autómata con Pila.

      4. El análisis sintáctico como Algoritmo

      • MC-F-022. Tema 4.1. Introducción al Parsing.
      • MC-F-023. Tema 4.2. Etapas de la Compilación.
      • MC-F-024. Tema 4.3. La Ambigüedad en el Parsing.
      • MC-F-025. Tema 4.4. Algoritmos de Parsing Genéricos.
      • MC-F-026. Tema 4.5. Las Gramáticas LL.
      • MC-F-027. Tema 4.6. Las Gramáticas LL (II).
      • MC-F-028. Tema 4.6a. Traductores Push-Down.
      • MC-F-029. Tema 4.7. Traductores Push-Down para Gramáticas LL.