problème de l’arrêt

INFORMATIQUE

Il s’agit d’un problème en théorie de la calculabilité.
Etant donné un programme informatique, au sens de machine de Turing , le problème de l’arrêt consiste à déterminer s’il s’arrêtera ou non.