O seguinte problema é decidível:
Dada uma gramática livre de contexto , L ( G ) = ∅ ?
O seguinte problema é indecidível:
Dada uma gramática livre de contexto , L ( G ) = A ∗ ?
Existe uma caracterização de linguagens livres de contexto com igualdade decidível L ( G ) = M ?