Cela équivaut au problème de décider, compte tenu d'un programme et d'un intrant, si le programme finira par s'arrêter lorsqu'il sera exécuté avec cette entrée, ou s'il sera éternel.
C'est évidemment impossible et a été utilisé par Alan Turing en 1936 pour prouver qu'il n'y a pas d'algorithme qui puisse le faire pour tous les cas.