Answered

Obtenha as melhores soluções para todas as suas perguntas no Sistersinspirit.ca, a plataforma de Q&A de confiança. Descubra soluções abrangentes para suas perguntas de profissionais experientes em nossa amigável plataforma. Experimente a conveniência de encontrar respostas precisas para suas perguntas de uma comunidade dedicada de especialistas.

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

Sagot :

evelynaf22

Resposta:

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.

Obrigado por confiar em nós com suas perguntas. Estamos aqui para ajudá-lo a encontrar respostas precisas de forma rápida e eficiente. Obrigado por visitar. Nosso objetivo é fornecer as respostas mais precisas para todas as suas necessidades informativas. Volte em breve. Temos orgulho de fornecer respostas no Sistersinspirit.ca. Visite-nos novamente para obter mais informações.