TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever.  2, fiche 1, Anglais, - halting%20problem

Record number: 1, Textual support number: 2 CONT

All resolution search strategies are subject to a version of the halting problem, for search is not guaranteed to terminate unless there actually is a proof.  3, fiche 1, Anglais, - halting%20problem

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique et d'une entrée, si le programme s'arrête avec cette entrée ou non.  3, fiche 1, Français, - probl%C3%A8me%20de%20l%27arr%C3%AAt

Fiche 1,  Justifications,  Espagnol