Gramáticas Libres de

Contexto

November 7, 2023
Agenda
• Introducción • Ejemplos de notación BNF

• Definición de gramáticas libres de contexto • Construcción de gramáticas libres de contexto

• Importancia en las ciencias computacionales • Ejemplo de escritura de gramáticas con

símbolos
• Sintaxis básica
• Derivación de cadenas a partir de gramáticas
• Símbolos terminales y no terminales
• Aplicaciones de las gramáticas libres de
• Reglas de derivación contexto

• Ejemplos de gramáticas libres de contexto • Gramáticas y lenguajes de programación

• Backus-Naur Form (BNF) • Gramáticas y compiladores

• Definición de la notación BNF • Gramáticas y procesamiento de lenguaje natural

• Ventajas de la notación BNF • Limitaciones de las gramáticas libres de

contexto
• Conclusión
Introducción

Definición de gramáticas libres de contexto

• Las gramáticas libres de contexto son un tipo de gramática formal

que describe reglas para generar lenguajes formales.
• Estas gramáticas consisten en un conjunto de símbolos terminales y
no terminales, y reglas de derivación que indican cómo se pueden
reemplazar los símbolos por otros símbolos o cadenas de símbolos.
Importancia en las ciencias
computacionales

● Permiten describir y analizar la sintaxis de lenguajes

de programación y otros sistemas formales.

● Son utilizadas en el diseño y construcción de

compiladores y analizadores sintácticos.

● Facilitan la construcción de lenguajes de

programación y la creación de herramientas de
procesamiento de lenguajes.

● Son fundamentales para la comprensión y estudio de

la teoría de la computación.
Sintaxis básica

Símbolos terminales y no Ejemplos de gramáticas

Reglas de derivación
terminales libres de contexto

Las gramáticas libres Las reglas de Se presentarán

de contexto utilizan derivación definen ejemplos concretos
símbolos terminales y cómo se pueden de gramáticas libres
no terminales para reescribir los símbolos de contexto para
definir reglas de en una gramática libre
derivación. ilustrar su estructura
de contexto. y uso.
Símbolos terminales y no terminales

Símbolos terminales Símbolos no terminales

● Son los elementos finales de una ● Son los elementos que pueden
cadena generada por la ser reemplazados por reglas de
gramática. derivación.

● Representan las palabras o ● Representan categorías

símbolos concretos en el gramaticales o grupos de
lenguaje. símbolos.

● Se denotan con letras minúsculas ● Se denotan con letras mayúsculas

o símbolos especiales. o palabras en cursiva.
Reglas de derivación

Reglas de derivación Ejemplo de regla de derivación

• Las reglas de derivación definen cómo se • S -> aAb
pueden reescribir los símbolos en una
gramática. • Esta regla indica que el símbolo no
terminal S puede ser reescrito como
• Consisten en un símbolo no terminal
la secuencia de símbolos 'aAb'.
seguido de una flecha y una secuencia
de símbolos terminales y no terminales. • En este ejemplo, 'a' y 'b' son
• Las reglas se aplican de manera símbolos terminales, mientras que
recursiva para generar cadenas de 'A' es un símbolo no terminal.
símbolos hasta alcanzar las cadenas
terminales.
Ejemplos de gramáticas libres
de contexto
Ejemplos de gramáticas libres de contexto:

● Gramática para el lenguaje de los palíndromos en el alfabeto {a, b}

● Gramática para el lenguaje de los paréntesis balanceados

● Gramática para el lenguaje de las expresiones aritméticas

● Gramática para el lenguaje de los números primos

Gramática para Expresiones Aritméticas

S -> A | S + A | S - A
A -> B | A * B | A / B
B -> N | ( S )
N -> D | D N
D -> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Backus-Naur Form (BNF)
Backus-Naur Form (BNF)

Definición de la notación BNF

• La notación BNF es un formalismo utilizado para describir la

sintaxis de lenguajes de programación.
• Fue desarrollada por John Backus y Peter Naur en la década
de 1950.
• Consiste en reglas de producción que definen cómo se pueden
combinar los símbolos del lenguaje.
Definición de la notación BNF
¿Qué es la notación BNF?

● La notación BNF (Backus-Naur Form) es una

forma de representar gramáticas formales.
● Se utiliza para describir la sintaxis de lenguajes
de programación y otros lenguajes formales.
Ventajas de la notación BNF
Ventajas
• Simplicidad y claridad: La notación
BNF es un lenguaje sencillo y fácil de
entender, lo que facilita la escritura y
comprensión de las reglas
gramaticales.
• Flexibilidad: Permite la expresión de
múltiples reglas de derivación y la
especificación de diferentes opciones
y secuencias.
Más Ventajas
• Abstracción: Permite separar la
descripción de la sintaxis de un lenguaje
de su implementación, lo que facilita la
reutilización y modularidad.
• Compatibilidad: La notación BNF es
ampliamente utilizada y reconocida en el
campo de las ciencias computacionales,
lo que la hace compatible con diferentes
herramientas y entornos de desarrollo.
Ejemplos de notación BNF
Ejemplos de notación BNF
● Ejemplo de notación BNF para una gramática de expresiones aritméticas.

● Ejemplo de notación BNF para una gramática de expresiones booleanas.

● Ejemplo de notación BNF para una gramática de expresiones de asignación.

● Ejemplo de notación BNF para una gramática de expresiones de condición.

BNF para una gramática de Expresiones Aritméticas

<expr> ::= <term> | <expr> "+" <term> | <expr> "-" <term>

<term> ::= <factor> | <term> "*" <factor> | <term> "/" <factor>
<factor> ::= <number> | "(" <expr> ")"
<number> ::= <digit> | <digit> <number>
<digit> ::= "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
Derivación de cadenas a partir de gramáticas
Proceso de ● La derivación de cadenas es el proceso de generar

derivación secuencias de símbolos a partir de una gramática.

● Se comienza con un símbolo inicial y se aplican las reglas de

derivación para obtener una cadena final.

● Cada paso en la derivación reemplaza un símbolo no

terminal por una secuencia de símbolos terminales y no
terminales.

● El proceso continúa hasta que no haya más símbolos no

terminales en la cadena.
Aplicaciones de las gramáticas libres de contexto
Aplicaciones en la compilación de lenguajes
de programación
• Las gramáticas libres de contexto son
utilizadas en el análisis sintáctico de los
compiladores para verificar la corrección
sintáctica de los programas.
• Permiten definir las reglas de estructura
del lenguaje y generar el árbol de análisis
sintáctico.
• Son utilizadas para generar parsers
automáticos que facilitan la traducción
del código fuente a código de máquina.
Aplicaciones en el procesamiento de
lenguaje natural
• Las gramáticas libres de contexto se
utilizan en el análisis sintáctico de
oraciones y textos en lenguaje natural.
• Permiten identificar la estructura
gramatical de las frases y realizar tareas
como el análisis de sentimiento, la
traducción automática y la generación de
resúmenes.
• Son la base de los sistemas de
reconocimiento de voz y de los chatbots.
Gramáticas y lenguajes de programación
Definición
Las gramáticas libres de
contexto son reglas que
definen la estructura de un
lenguaje. Son usadas en
ciencias computacionales
para describir la sintaxis
de los lenguajes de
programación.
Sintaxis básica
Estas gramáticas están
compuestas por símbolos
terminales y no terminales.
Los terminales representan
elementos concretos,
mientras que los no
terminales representan
reglas o estructuras
generales.
Backus-Naur Form (BNF)
La notación BNF es una
forma de representar
gramáticas libres de
contexto. Utiliza una
sintaxis basada en reglas y
símbolos para describir la
estructura de un lenguaje
de programación.
Limitaciones de las gramáticas libres de contexto
Limitaciones
• Las gramáticas libres de contexto no
pueden expresar ciertos tipos de
lenguajes, como los lenguajes que
requieren contar o emparejar
elementos.
• No pueden manejar la ambigüedad en
la estructura de un lenguaje.
• La complejidad del análisis sintáctico
puede ser alta en algunos casos.
Soluciones alternativas
• Para expresar lenguajes más complejos,
se pueden utilizar gramáticas sensibles
al contexto o gramáticas regulares.
• La ambigüedad puede ser resuelta
mediante la introducción de reglas
adicionales o utilizando análisis
semántico.
• Para mejorar la eficiencia del análisis
sintáctico, se pueden aplicar técnicas
como el análisis descendente predictivo
o el análisis sintáctico LR.
Conclusión
Puntos clave
• Las gramáticas libres de contexto son
fundamentales en las ciencias
computacionales
• La notación BNF es una forma común
de representar gramáticas libres de
contexto
• La construcción de gramáticas libres
de contexto permite definir reglas de
derivación y generar cadenas
Resumen
• Las gramáticas libres de contexto
son una herramienta poderosa para
describir la sintaxis de lenguajes
formales
• La notación BNF proporciona una
forma precisa y concisa de
representar las reglas de una
gramática