implementar um programa que possa decidir se um conjunto de cadeias (dadas como entrada) pode ser gerado por uma gramática livre de contexto (também dada como entrada).