A afirmação verdadeira é: "Uma linguagem recursiva é um subconjunto de uma linguagem recursivamente enumerável." Uma linguagem recursiva é uma linguagem que pode ser decidida por uma máquina de Turing, ou seja, é uma linguagem que pode ser aceita ou rejeitada por uma máquina de Turing. Já uma linguagem recursivamente enumerável é uma linguagem que pode ser reconhecida por uma máquina de Turing, mas não necessariamente decidida. Portanto, toda linguagem recursiva é recursivamente enumerável, mas nem toda linguagem recursivamente enumerável é recursiva.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar