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.