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.


Se é o código da máquina de turing , definimos a linguagem é uma máquina de turing tal que .

1 Resposta

  • neireoliveira

    a. La é recursivamente enumerável.

Clique aqui para adicionar a sua resposta.