La gramática estudia las reglas que rigen el uso del lenguaje. Una gramática libre de contexto define una sintaxis mediante producciones donde los símbolos no terminales pueden sustituirse sin importar el contexto. Un ejemplo muestra una gramática libre de contexto para cadenas con diferente número de las letras a y b.

2. Estudio de las reglas y principios que regulan el uso de las lenguas y la organización de las palabras dentro de una oración. También se denomina así al conjunto de reglas y principios que gobiernan el uso de un lenguaje determinado; así, cada lenguaje tiene su propia gramática.

3. En lingüística e informática, una gramática libre de contexto es una gramática formal en la que cada regla de producción es de la forma: V -> w Donde V es un símbolo no terminal y w es una cadena de terminales y/o no terminales. El término libre de contexto se refiere al hecho de que el no terminal V puede siempre ser sustituido por w sin tener en cuenta el contexto en el que ocurra.

4. Así como cualquier gramática formal, una gramática libre de contexto puede ser definida mediante la 4-tupla: <math>G=(V_t, V_n, P, S)</math> donde <math>V_t</math> es un conjunto finito de terminales <math>V_n</math> es un conjunto finito de no terminales <math>P</math> es un conjunto finito de producciones <math>S \in V_n</math> el denominado Símbolo Inicial los elementos de <math>P</math> son de la forma <math>V_n \longrightarrow (V_t \cup V_n)^*</math>

5. Ejemplo . Una gramática libre de contexto para un lenguaje consistente en todas las cadenas que se pueden formar con las letras a y b , habiendo un número diferente de una que de otra, sería: S -> U|V U -> TaU|TaT V -> TbV|TbT T -> aTbT|bTaT|ε T genera todas las cadenas con la misma cantidad de letras a que b, U genera todas las cadenas con más letras a, y V todas las cadenas con más letras b.

6. Conjunto de normas que asocian variables de programación para formar las instrucciones.

7. Un programa en cualquier lenguaje se puede concebir como un string (cadena) de caracteres escogidos de algún conjunto o alfabeto de caracteres. Las reglas que determinan si un string es un programa válido o no, constituyen la sintaxis de un lenguaje.

9. Conjunto de Caracteres Identificadores Operadores Palabras Claves y Reservadas Comentarios y Palabras Opcionales Espacios en Blanco Delimitadores

10. Conjunto de Caracteres Es la primera etapa en el diseño de la sintaxis de un lenguaje Casi todos tienen el mismo conjunto de letras y dígitos La diferencia está en los caracteres especiales Incide en la determinación del tipo de equipo para la E/S Identificadores Sintaxis básica: string de letra y/o dígito comenzando con letra Se introducen caracteres especiales que facilitan la lectura Operadores La mayoría de los lenguajes tiene un conjunto estándar de operadores: aritméticos relacionales lógicos Palabras Claves y Reservadas Palabra clave: identificador usado como parte fija de la sintaxis de una sentencia Palabra reservada: palabra clave que no puede ser usada como identificador El análisis sintáctico se facilita usando palabras reservadas Generalmente una sentencia comienza con palabras claves designando el tipo de sentencia. Comentarios y Palabras Opcionales La mayoría de los lenguajes permite incluir comentarios en los programas Los comentarios no son considerados durante la compilación. Espacios en Blanco Varía su inclusión entre un lenguaje y otro Delimitadores Es un elemento sintáctico para marcar el comienzo y/o el fin de una unidad sintáctica