This page last changed on Jan 27, 2008 by carlos.gonzalez.

Esta es una lista de los temas tratados y por tratar en el curso. Cada uno de los enlaces (links) lleva a una página con las notas docentes correspondientes.

Inicio

Conjuntos, Expresiones, y Lenguajes Regulares

Gramáticas

Análisis Sintáctico

Análisis Semántico y Traducción

  • Traducción Dirigida por la Sintaxis (TDS)
    Definiciones y esquemas de traducción dirigida por la sintaxis. Producción de árboles de sintaxis abstracta a partir de gramáticas independientes de contexto. Cómo podemos aumentar una gramática con atributos y acciones semánticas para llevar a cabo labores de traducción o interpretación.

  • Verificación de Tipos
    Tipos de las estructuras de los lenguajes de programación. Equivalencia, verificación, y unificación de tipos.

Autómatas Finitos

  • Autómatas de Pila
    Los problemas de membresía y derivación para los lenguajes independientes del contexto (CFG). Autómatas que reconocen CFG y resuelven el problema de membrecía.

Document generated by Confluence on Oct 04, 2010 11:24