Las gramticas son una herramienta esencial en el anlisis sintctico Las gramticas o especficamente las gramticas libres de contexto,

se usan formalmente para describir la estructura de los programas en un lenguaje de programacin. Una gramtica G, es una tupla de cuatro componentes (T, N, S, P). Un conjunto de tokens, T, tambin llamados smbolos terminales, son los smbolos bsicos con los que se construyen las cadenas. Los tokens constituyen los smbolos del alfabeto del lenguaje descrito por la gramtica. Un conjunto de smbolos no terminales, N, designan cadenas de tokens. Cada smbolo no terminal representa un conjunto de cadenas, lo cual simplifica la definicin del lenguaje generado por la gramtica. En toda gramtica existe un smbolo no terminal destacado, S, al que se le conoce como smbolo inicial. Un conjunto de producciones o reglas P, constan de un smbolo no terminal (llamado lado izquierdo o cabecera de la produccin), una flecha y una secuencia de smbolos terminales y/o no terminales (llamado parte derecha de la produccin).Estas producciones describen la forma en que se pueden combinar los smbolos terminales y no terminales para formar cadenas. A continuacin se muestra la notacin de una produccin. [7] N (T N)* Se muestra un pequeo ejemplo de una produccin, donde EXPRESION es un smbolo no terminal y operador es un terminal. [6] EXPRESION EXPRESION operador EXPRESION A partir de ahora, los smbolos terminales se expresan en letra minscula y los no terminales en maysculas. Al conjunto de ellos se llama smbolos gramaticales.

Las gramticas libres de contexto se amplan para poder definir la semntica de un lenguaje de programacin