« Problème de l'arrêt » : différence entre les versions

Dernière version du 28 janvier 2024 à 11:29

Définition

En théorie de la calculabilité, 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.

Français

problème de l'arrêt

Anglais

halting problem

Sources

Source : Wikipédia

@@ Ligne 1 : / Ligne 1 : @@
-==en construction==
 == Définition ==
-XXXXXXXXX
+En théorie de la calculabilité, 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.
 == Français ==
-''' XXXXXXXXX '''
+''' problème de l'arrêt '''
 == Anglais ==
-''' Halting problem '''
+''' halting problem '''
- 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. Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist.
- For any program f that might determine if programs halt, a "pathological" program g, called with some input, can pass its own source and its input to f and then specifically do the opposite of what f predicts g will do. No f can exist that handles this case. A key part of the proof is a mathematical definition of a computer and program, which is known as a Turing machine; the halting problem is undecidable over Turing machines. It is one of the first cases of decision problems proven to be unsolvable. This proof is significant to practical computing efforts, defining a class of applications which no programming invention can possibly perform perfectly.
+==Sources==
-<small>
-[https://en.wikipedia.org/wiki/Halting_problem  Source : Wikipedia ]
+[https://en.wikipedia.org/wiki/Halting_problem  Source : Wikipédia ]
-[[Catégorie:vocabulary]]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

« Problème de l'arrêt » : différence entre les versions