Se é o código da máquina de turing , definimos a linguagem é uma máquina de turing tal que . assinale
Se é o código da máquina de turing , definimos a linguagem é uma máquina de turing tal que .assinale a alternativa verdadeira.
escolha uma:
a. é recursivamente enumerável.
b. tanto como são recursivamente enumeráveis.
c. tanto como não são recursivamente enumeráveis. incorreto
d. é recursivamente enumerável.
e. é recursiva.
1 Resposta
Clique aqui para adicionar a sua resposta.
neireoliveira
a. La é recursivamente enumerável.