Context-Free Grammar
En una gramática libre de contexto, el lado izquierdo de cada producción es un único no terminal; puede describir estructuras recursivas y constituye la base de la sintaxis de la mayoría de los lenguajes de programación.
Propósito
Describir la estructura sintáctica de los lenguajes de programación y guiar el diseño de parsers.
Mecanismo
Reglas de la forma A→α, donde A es un no terminal y α una cadena de terminales/no terminales. Puede describir el anidamiento (p. ej., paréntesis equilibrados, expresiones) pero no dependencias de contexto (p. ej., declarar-antes-de-usar variables). Una gramática tipo 2 de Chomsky.
Casos de uso
- Diseño de lenguajes
- Parsers
- Análisis sintáctico