A afirmativa verdadeira é a seguinte: "As proposições (1) e (2) são verdadeiras, sendo que a (2) não justifica a (1)." A proposição (1) é verdadeira, pois uma GLC pode gerar uma linguagem infinita, dependendo das regras de produção utilizadas. A proposição (2) também é verdadeira, pois se houver pelo menos um ciclo no grafo direcionado gerado a partir das regras de produção dessa GLC, então a linguagem gerada será infinita. No entanto, a proposição (2) não justifica a proposição (1), pois a existência de ciclos no grafo direcionado não é a única condição para que uma linguagem seja infinita.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar