A afirmação falsa é: "Dadas duas gramáticas livres de contexto G1 e G2, é indecidível se L(G1) = L(G2)." Essa afirmação é falsa porque é decidível verificar se duas gramáticas livres de contexto geram a mesma linguagem. Isso pode ser feito construindo uma gramática G3 que gera a interseção das linguagens geradas por G1 e G2, e então verificando se G3 é equivalente a G1 e G2. Se G3 for equivalente a G1 e G2, então L(G1) = L(G2). Caso contrário, L(G1) ≠ L(G2).
Para escrever sua resposta aqui, entre ou crie uma conta
Linguagens Formais e Automatos
•UNIJUI
Compartilhar