A alternativa correta é a letra A: "Está contida propriamente na classe das linguagens enumeráveis recursivamente". A classe das linguagens recursivas é uma subclasse própria da classe das linguagens enumeráveis recursivamente. Isso significa que toda linguagem recursiva é enumerável recursivamente, mas nem toda linguagem enumerável recursivamente é recursiva. As demais alternativas estão incorretas.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar