Um conjunto S de números naturais é chamado se existe uma função recursiva parcial (também conhecida
como função computável) na qual o domínio é exatamente S, significando que a função é definida se e somente se sua entrada é membro de S. Assinale a alternativa que preenche corretamente a lacuna.Escolha uma:
a.
recursivamente tratável
b.
recursivamente enumerável
c.
computavelmente tratável
d.
enumerável
e.
decidível
1 Resposta
Clique aqui para adicionar a sua resposta.
Mais perguntas de Informática
Informática
A informática é uma área em constante evolução e desenvolvimento. Para aproveitar ao máximo os benefícios desta área, é importante manter-se...
vitoriaheleen - há 2 anos
Informática
A informática é uma área importante que está cada vez mais presente em nossas vidas. Se você deseja aprender mais sobre ela, aqui estão algumas...
Jsydhsjsksndbdhydehehehdhhdh - há 2 anos
Informática
A informática é uma área em constante evolução, com novas tecnologias surgindo a todo momento. Para se manter informado e atualizado, é...
Gabrielpereira Caio - há 2 anos
Informática
A informática é a ciência que estuda o armazenamento, a recuperação, a transmissão e a manipulação de informações. Ela se baseia na...
Jjjjkkkkk - há 2 anos
Informática
A Informática é uma área de conhecimento que se dedica ao estudo, aplicação e desenvolvimento de tecnologias de computação. Ela abrange diversas...
RafaelLima Tainaraie - há 2 anos
Informática
A informática é uma área de estudo que abrange a tecnologia da computação e seus usos na vida cotidiana. Ela está envolvida em quase todos os...
Gui Alisont Alison - há 2 anos
Informática
yarawaneska49
B. Recursivamente enumerável.
Explicação:
Na Teoria da computabilidade, tradicionalmente chamada teoria da recursão, um conjunto S de números naturais é chamado recursivamente enumerável, computavelmente enumerável, semi-decidível, demonstrável ou Turing-reconhecível se:
Existe um algoritmo tal que o conjunto de números de entrada para qual o algoritmo pára é exatamente o conjunto de números em S.
Ou, equivalentemente,
Existe um algoritmo que enumera os membros de S. Isso significa que sua saída é simplesmente uma lista de membros de S: s1, s2, s3, ... . Se necessário, esse algoritmo pode rodar para sempre.