« Oméga de Chaitin » : différence entre les versions

En [[théorie algorithmique de l'information]], une constante '''Oméga de Chaitin''' est un [[nombre réel]] défini comme étant la [[probabilité]] qu’un [[fonction partielle récursive|programme]] auto-délimité<ref>C'est-à-dire que l'indication de la fin de la séquence de bits représentant le programme est contenue dans le programme lui-même, sous forme d'une longueur, d'une séquence de fin, ou toute autre forme de codage. Une autre manière de le dire est que la [[concaténation]] d'une séquence de bits quelconque à la suite d'un programme valide donne nécessairement un programme invalide (n'appartenant pas au langage).</ref>, généré aléatoirement, finisse par s'arrêter.