Adjectif
/kəmˈpliːtli ˌriːkərˈsivəli ɛnʊˈmɛrəbl/
L'expression "completely recursively enumerable" fait référence à un type de langage formel ou de problème en théorie de la calculabilité et en informatique théorique. Un ensemble est dit "récursivement énumérable" s'il existe une machine de Turing qui énumère les éléments de cet ensemble, bien qu'elle ne puisse pas nécessairement décider si un élément donné appartient à l'ensemble. Lorsqu'on parle de "completely recursively enumerable", cela implique que l'ensemble est entièrement énumérable par un processus récursif, indiquant ainsi que tous ses éléments peuvent être listés sans omission.
Ce terme est principalement utilisé dans des contextes académiques et informatiques, en particulier au sein des discussions sur la théorie de la calculabilité. Il est moins fréquemment utilisé dans la conversation quotidienne et a tendance à apparaître plus souvent dans des écrits techniques ou des articles de recherche.
L'ensemble de tous les nombres premiers est complètement énumérable par récursivité.
A programming language that supports recursion allows for completely recursively enumerable functions.
Un langage de programmation qui supporte la récursion permet des fonctions complètement énumérables par récursivité.
In computability theory, certain problems are known to be completely recursively enumerable.
L'expression "completely recursively enumerable" n'est pas couramment utilisée dans des expressions idiomatiques, car elle est plutôt technique et spécifique. Cependant, dans le domaine de l'informatique théorique, il existe plusieurs concepts qui l'entourent et qui peuvent être considérés comme des formulations spécifiques.
Un langage est Turing complet s'il peut simuler une fonction complètement énumérable par récursivité.
When designing algorithms, understanding completely recursively enumerable sets is crucial.
Lors de la conception d'algorithmes, comprendre les ensembles complètement énumérables par récursivité est crucial.
The halting problem illustrates that not all problems are completely recursively enumerable.
Le terme "recursively enumerable" est issu de l'étude des mathématiques et de l'informatique, combinant "recursive" (récursif) et "enumerable" (énumérable). Le préfixe "completely" (complètement) ajoute la notion d'intégralité à ce qui peut être énuméré.
Synonymes : - Énumérable par une machine de Turing - Énumérable récursivement
Antonymes : - Non énumérable - Non récursivement énumérable
Ce terme revêt une importance particulière dans le cadre des études sur les fonctions récursives et la théorie de la calculabilité, renforçant les concepts de ce domaine d'étude théorique.