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.
ne bougera pas pour toujours, mais le programme