Problème de l'arrêt

Définition

En théorie de la calculabilité, problème de décision qui détermine, à partir d'une description d'un programme informatique, et d'une entrée, si le programme s'arrête avec cette entrée ou non.

Français

problème de l'arrêt

Anglais

halting problem

Source : Wikipédia