Na , uma linguagem livre de contexto (LLC) é uma gerada por alguma (GLC). Diferentes gramáticas livres de contexto podem gerar a mesma linguagem livre de contexto, ou, inversamente, uma dada linguagem livre de contexto pode ser gerada por diferentes gramáticas livres de contexto. É importante distinguir as propriedades da linguagem ( propriedades intrínsecas ) de propriedades de uma gramática específica ( propriedades extrínsecas ).
O conjunto de todas as linguagens livres de contexto é idêntico ao conjunto de linguagens aceitas por um .