Una gramática libre de contexto puede ser definida mediante la 4-tupla G = (V_t, V_n, P, S), donde V_t es un conjunto finito de terminales, V_n es un conjunto finito de no terminales, P es un conjunto finito de producciones y S es el Símbolo Inicial.
¿Cómo se puede definir una gramática libre de contexto formalmente?