Synonymes de problème de l'arrêt

Les plus courants

halting problem

Tous les synonymes

Nom

Définitions

1. n. 1

   Problème de décision consistant à déterminer, à partir de la description d’un programme informatique et d’une entrée, si l’exécution de ce programme sur cette entrée se termine à l’issue d’un nombre fini d’étapes ou se poursuit indéfiniment.

   Le problème de l’arrêt est en théorie décidable dans le cas d’une mémoire de taille finie, car l’ensemble des états de la mémoire, bien que très grand, est fini lui-même.