. . "En th\u00E9orie de la calculabilit\u00E9, le probl\u00E8me de l'arr\u00EAt est le probl\u00E8me de d\u00E9cision qui d\u00E9termine, \u00E0 partir d'une description d'un programme informatique, et d'une entr\u00E9e, si le programme s'arr\u00EAte avec cette entr\u00E9e ou non."@fr . . . . . . . "B\u00E0i to\u00E1n d\u1EEBng"@vi . . . . . . . "Problema della terminazione"@it . . "Probl\u00E8me de l'arr\u00EAt"@fr . . . . . . . . . "Stopproblemet"@sv . . . . . . . . . . . . . . . . . . . "13084"^^ . . . . "Halteproblem"@de . . "184775499"^^ . . "\u505C\u673A\u95EE\u9898"@zh . "En th\u00E9orie de la calculabilit\u00E9, le probl\u00E8me de l'arr\u00EAt est le probl\u00E8me de d\u00E9cision qui d\u00E9termine, \u00E0 partir d'une description d'un programme informatique, et d'une entr\u00E9e, si le programme s'arr\u00EAte avec cette entr\u00E9e ou non. Alan Turing a montr\u00E9 en 1936 que le probl\u00E8me de l'arr\u00EAt est ind\u00E9cidable, c'est-\u00E0-dire qu'il n'existe pas de programme informatique qui prend comme entr\u00E9e une description d'un programme informatique et un param\u00E8tre et qui, gr\u00E2ce \u00E0 la seule analyse de ce code, r\u00E9pond VRAI si le programme s'arr\u00EAte sur son param\u00E8tre et FAUX sinon. Une partie importante de la d\u00E9monstration a \u00E9t\u00E9 la formalisation du concept de programmes informatiques : les machines de Turing. En pratique, il n'y a donc pas de m\u00E9thode g\u00E9n\u00E9rale d'analyse statique capable de d\u00E9terminer si un programme boucle ind\u00E9finiment ou non, bien qu'il soit cependant possible pour certaines s\u00E9quences de codes identifiables de s'assurer que la construction g\u00E9n\u00E8re potentiellement une boucle infinie. Ce r\u00E9sultat est g\u00E9n\u00E9ralis\u00E9 par le th\u00E9or\u00E8me de Rice \u00E0 de nombreuses autres propri\u00E9t\u00E9s concernant l'analyse des programmes."@fr . . . "\u041F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u0437\u0443\u043F\u0438\u043D\u043A\u0438"@uk . . . "\u041F\u0440\u043E\u0431\u043B\u0435\u043C\u0430 \u043E\u0441\u0442\u0430\u043D\u043E\u0432\u043A\u0438"@ru . . . . . . . . . . . . . "\u0645\u0633\u0623\u0644\u0629 \u062A\u0648\u0642\u0641"@ar . . "Le probl\u00E8me de l'arr\u00EAt"@fr . . . . . . . . . . "87210"^^ . . "3"^^ . . . . . . . . . . .