Le problème d'arrêt est un problème célèbre en informatique théorique. Compte tenu d'une description d'un programme (typiquement une machine de Turning) et d'une entrée à ce programme, le problème d'arrêt est de décider si ce programme se termine sur cette contribution.
