1. Introducción
  2. Unidad 1
  3. 1. Lenguajes, Lenguajes regulares y expresiones regulares
    1. 1.1. Compilador
      1. 1.1.1. Introducción a los compiladores
      2. 1.1.2. Compilador: Conceptos Básicos
        1. 1.1.2.1. Fase de Análisis
          1. 1.1.2.1.1. Análisis Léxico
          2. 1.1.2.1.2. Análisis Sintáctico
          3. 1.1.2.1.3. Análisis Semántico
        2. 1.1.2.2. Fase de Síntesis
          1. 1.1.2.2.1. Generación de Código Intermedio
          2. 1.1.2.2.2. Optimización de Código
          3. 1.1.2.2.3. Generación de Código Objeto
    2. 1.2. Elementos Básicos de los Lenguajes Formales: Alfabetos, Cadenas y Lenguajes
    3. 1.3. Lenguaje regular
    4. 1.4. Expresiones regulares para tokens
    5. 1.5. Autómatas finitos deterministas (DFA)
  4. Unidad 2
  5. 2. Autómatas deterministas y autómatas no deterministas
    1. 2.1. Definición de un Autómata Finito no determinista (NFA)
    2. 2.2. Ejemplos de relación de expresiones regulares y autómatas
    3. 2.3. Teorema de Kleene
    4. 2.4. Teorema de conversión de AF no determinista en determinista
    5. 2.5. Conversión de AF no determinista en determinístico
  6. Unidad 3
  7. 3. Manejo de la herramienta Flex
    1. 3.1. FLEX: herramienta para generar analizadores léxicos
    2. 3.2. Formato de un archivo de entrada de FLEX
    3. 3.3. Uso del FLEX para diversas tareas
    4. 3.4. Utilización del FLEX para otras tareas
    5. 3.5. Uso del Flex para generar un analizador léxico
  8. Unidad 4
  9. 4. Definición formal de una gramática
    1. 4.1. Máquinas de Estados Finitos
    2. 4.2. Máquina de estado finito para aplicaciones
    3. 4.3. Evaluación final individual
  10. Bibliografía
  11. Contribuidores

Lenguajes de Programacion y Metodos de Traduccion I

Teorema de Kleene: Un Lenguaje es regular si y solo si es reconocido por un autómata finito