El concepto de gramática del principio de compilación es: todo lenguaje natural o lenguaje de programación necesita una gramática para describirlo. La gramática equivale al análisis semántico de la lingüística, es decir, analiza el significado de cada oración. Se necesita compilador Gramática para completar su análisis gramatical y análisis semántico.
En el campo actual de los lenguajes de programación, la gramática libre de contexto se utiliza como herramienta de descripción para los lenguajes de programación. Por ejemplo, a = b + c es una declaración de asignación legal.
La definición de símbolos y cadenas de símbolos. Cada programa puede considerarse como una cadena de "símbolos básicos". Si hay un conjunto de símbolos básicos, entonces se pueden considerar el lenguaje C y otros lenguajes de programación. como una cadena de "símbolos básicos". Un conjunto de todas las cadenas de símbolos básicos definidas en el conjunto y formadas de acuerdo con ciertas reglas.
El alfabeto es un conjunto finito de elementos no vacío. Los elementos del alfabeto se denominan símbolos. Por lo tanto, el alfabeto también se denomina conjunto de símbolos. Por ejemplo, el alfabeto en lenguaje C consta de letras, números, palabras clave, etc.
Una cadena de símbolos es una secuencia compuesta por elementos de un conjunto de símbolos. Por ejemplo, dado el conjunto de símbolos a, b, c, entonces abc, abb, ac es la cadena de símbolos compuesta por el conjunto de símbolos. Una gramática contiene una o más producciones, que describen el método de combinar un conjunto de símbolos terminales y un conjunto de símbolos no terminales en una cadena.