Gramáticas Libres de Contexto 

Gramática Libre de Contexto
Árbol de derivación.
Ambigüedad.
Algoritmos de Simplificación de Gramáticas:
Eliminación de Producciones Nulas.
Eliminación de Producciones Unitarias.
Eliminación de Símbolos y Producciones Inútiles.
Formas Normales:
Forma Normal de Chomsky.
Forma Normal de Greibach.
Parsing
Ejemplos: XML, Ejemplo de sistemas de Lindenmayer