Gramática libre de contexto

Son gramáticas cuyas reglas de derivación no dependen de un contexto. Esta son de la forma $V\rightarrow w$ donde es $V$ es un símbolo no terminal y $w$ es una cadena de terminales y no terminales. Las gramáticas libres de contexto originan lenguajes libres de contexto que pueden ser implementados mediante autómatas de pilas.