Diagrama de temas

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

    Colapsar todo Expandir todo

    maquinas-termicas.jpg

    Profesores

    Luis Migel Pardo Vasallo

    Domingo Gómez Pérez

    Departamento de Matemáticas, Estadística y Computación

    El objetivo básico de la asignatura es ofrecer una estructura teórica que permita analizar los procesos de cálculo en función de la dificultad de
    computación. Estudiar la relación entre generatividad (gramáticas) y resolubilidad (autómatas), de cara a su utilización en compiladores. Adquirir un conocimiento teórico de las limitaciones de estos procesos (problemas indecidibles). Los estudiantes, después de cursar esta asignatura, deberían conocer los grados de complejidad intrínsecos de los lenguajes regulares e incontextuales. Dispondrán de algunas herramientas para describir estos lenguajes, reconocerlos y caracterizarlos.


    Palabras Clave de la Asignatura

    Interpretación de funciones, Sintaxis concreta, Sintaxis abstracta, Análisis sintáctico, El método científico, Recursión, Análisis léxico, Interpretador, Jerarquía de Chomsky, Ingeniería de sistemas y automática

  • 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.