A expressão "recursively enumerable" é uma combinação de um adjetivo e um advérbio. É geralmente usada em contextos formais ou técnicos relacionados à teoria da computação e lógica.
A transcrição fonética da expressão "recursively enumerable" usando o Alfabeto Fonético Internacional é: /ɹɪˈkɜːsɪvli ɪˈnjuːməbl/
"Recursively enumerable" refere-se a um conjunto de números ou strings que podem ser listados por um algoritmo, embora esse algoritmo não necessariamente conclua em tempo finito. Ou seja, existe uma forma de "enumerar" todos os elementos de um conjunto, mas pode haver casos em que a lista nunca termina. Este termo é essencial na teoria da computação, especialmente na discussão sobre decidibilidade e problemas computáveis. Sua frequência de uso é mais comum em contextos acadêmicos e escritos técnicos, em vez de na fala oral.
O conjunto de todos os números naturais é recursivamente enumerável.
In computer science, certain languages are recursively enumerable but not decidable.
A expressão "recursively enumerable" não é comumente usada em expressões idiomáticas. No entanto, dentro da teoria da computação, pode estar relacionada a diversas discussões sobre propriedades de conjuntos e linguagem formal.
Um conjunto recursivamente enumerável pode incluir problemas indecidíveis, tornando-o crucial na teoria da computação.
When analyzing algorithms, we consider whether the outputs are from recursively enumerable classes.
A expressão "recursively enumerable" deriva de duas palavras. "Recursively" provém do termo "recursion", que tem suas raízes no verbo latino "recurrere", que significa "correr de volta". "Enumerable" vem do latim "enumerabilis", que significa "capaz de ser contado". Assim, a combinação implica um processo de contar ou listar que pode retornar ou repetir.
Assim, "recursively enumerable" é um conceito fundamental na teoria da computação que aborda a questão de listabilidade em um contexto formal e matemático.