A afirmação verdadeira é: "Uma linguagem recursiva é um subconjunto de uma linguagem recursivamente enumerável." Uma linguagem recursiva é uma linguagem que pode ser reconhecida por uma Máquina de Turing, ou seja, é uma linguagem que pode ser decidida por um algoritmo. Já uma linguagem recursivamente enumerável é uma linguagem que pode ser gerada por uma gramática tipo 0, mas não necessariamente pode ser decidida por um algoritmo. Como toda linguagem recursiva pode ser gerada por uma gramática tipo 0, ela também é uma linguagem recursivamente enumerável. Portanto, a afirmação "Uma linguagem recursiva é um subconjunto de uma linguagem recursivamente enumerável" é verdadeira.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar