Analizadores, Símbolos, Funciones, Operadores y Gramática de Programas

Características Principales

Símbolos Terminales y No Terminales:

Los símbolos terminales son los elementos básicos del lenguaje, como palabras clave, operadores y literales.

Los símbolos no terminales representan conjuntos de cadenas y se utilizan para definir la estructura del lenguaje.

Producciones:

Las producciones son reglas que definen cómo se pueden reemplazar los símbolos no terminales por cadenas de símbolos terminales y no terminales.

Una producción tiene la forma ( A \rightarrow \beta ), donde ( A ) es un no terminal y ( \beta ) es una cadena de símbolos terminales y no terminales.

Símbolo Inicial:

Cada GLC tiene un símbolo inicial desde el cual comienzan las derivaciones para generar las cadenas del lenguaje.

Importancia en Compiladores:

En el proceso de compilación, las GLC se utilizan en la fase de análisis sintáctico para verificar que el código fuente cumpla con la sintaxis del lenguaje de programación. Un analizador sintáctico toma los tokens generados por el analizador léxico y construye un árbol de análisis sintáctico basado en las reglas de la GLC.

Ejemplo de GLC:

Consideremos una GLC simple para un lenguaje que consiste en asignaciones de variables:

Símbolos no terminales: ( {S, A, V, E} )

Símbolos terminales: ( {a, b, c, =, ;} )

Símbolo inicial: ( S )

Producciones:

( S \rightarrow A; )

( A \rightarrow V = E )

( V \rightarrow a \mid b \mid c )

( E \rightarrow V )

Esta GLC puede generar cadenas como ( a = b; ), que representa una asignación de la variable ( a ) al valor de la variable ( b ).