Gramática y Errores Sintácticos

Un conjunto de reglas que definen la estructura válida de un lenguaje, donde cada regla describe cómo se puede reemplazar un símbolo no terminal por una secuencia de otros símbolos (terminales o no terminales).

Símbolos que no se pueden descomponer más y representan los elementos básicos del lenguaje.

Símbolos que representan categorías gramaticales o conceptos abstractos que pueden ser reemplazados por secuencias de terminales y otros símbolos no terminales.

Un árbol que representa la descomposición de una cadena de entrada en partes menores, desde el símbolo inicial de la gramática hasta la cadena de entrada.

El proceso de análisis de la sintaxis de un programa, utilizando una gramática libre de contexto para determinar si la entrada es sintácticamente correcta.

Un error que ocurre cuando la entrada no se ajusta a las reglas de la gramática libre de contexto. Por ejemplo, falta una coma o un paréntesis.

Un método que utiliza un analizador sintáctico ascendente, construyendo la estructura del árbol de derivación desde la cadena de entrada hacia arriba.

Un método que utiliza un analizador sintáctico descendente, comenzando con el símbolo inicial de la gramática y descomponiéndolo recursivamente hasta llegar a la cadena de entrada.

En una gramática libre de contexto, las producciones son reglas que especifican cómo se pueden combinar los símbolos no terminales para generar símbolos terminales. Permiten construir la estructura sintáctica de un lenguaje.

Los símbolos no terminales representan categorías gramaticales o conceptos abstractos que aún no se han concretado en palabras o símbolos concretos. Por ejemplo, 'S' podría representar una oración completa.

Los símbolos terminales son los elementos básicos que se utilizan para construir frases en un lenguaje. Son los símbolos que ya no se pueden dividir en partes más pequeñas. Por ejemplo, 'perro', 'come', 'hueso' son terminales.

Una ambigüedad en una gramática libre de contexto ocurre cuando una misma cadena de símbolos terminales puede ser derivada por dos árboles de derivación diferentes. Esto significa que la gramática permite interpretar la cadena de formas diferentes.

El árbol de derivación no contiene todas las producciones de la gramática libre de contexto, solo las que se utilizan para generar la cadena específica.

Falso. El análisis sintáctico se encarga de la estructura gramatical de un programa. La gramática libre de contexto es una herramienta fundamental para el análisis sintáctico, pero no es necesaria para él.

Los símbolos terminales son los símbolos que no tienen más derivación. Son los elementos básicos que se utilizan para construir frases en un lenguaje.

El método ascendente recursivo inicia el proceso con la cadena de entrada. Trabaja en la cadena de abajo hacia arriba, combinando los símbolos terminales para construir la estructura sintáctica del programa.