. . . "Castors affair\u00E9s"@fr . . . . . . . . "186378977"^^ . . . . . . . . . . . . . . "Un castor affair\u00E9 est, en th\u00E9orie de la calculabilit\u00E9, une machine de Turing qui maximise son \u00AB activit\u00E9 op\u00E9rationnelle \u00BB (comme le nombre de pas effectu\u00E9s ou le nombre de symboles \u00E9crits avant son arr\u00EAt) parmi toutes les machines de Turing d'une certaine classe. Celles-ci doivent satisfaire certaines sp\u00E9cifications et doivent s'arr\u00EAter apr\u00E8s \u00EAtre lanc\u00E9es sur un ruban vierge. Le concept, introduit en 1962 par le math\u00E9maticien hongrois Tibor Rad\u00F3, est l'un des premiers exemples connus de fonction non calculable."@fr . "Pracowity b\u00F3br"@pl . . . . . . . . . . . . . . . . . "1710391"^^ . . "Category:Busy beavers"@fr . "Busy beaver"@nl . . . "\u5FD9\u788C\u7684\u6D77\u72F8"@zh . . . . . . "25954"^^ . "Un castor affair\u00E9 est, en th\u00E9orie de la calculabilit\u00E9, une machine de Turing qui maximise son \u00AB activit\u00E9 op\u00E9rationnelle \u00BB (comme le nombre de pas effectu\u00E9s ou le nombre de symboles \u00E9crits avant son arr\u00EAt) parmi toutes les machines de Turing d'une certaine classe. Celles-ci doivent satisfaire certaines sp\u00E9cifications et doivent s'arr\u00EAter apr\u00E8s \u00EAtre lanc\u00E9es sur un ruban vierge. Une fonction du castor affair\u00E9, ou fonction du nombre maximal de pas quantifie cette activit\u00E9 maximale pour une machine de Turing \u00E0 n \u00E9tats ; ce type de fonction n'est pas calculable. En fait, \u00E0 partir d'un certain point, cette fonction cro\u00EEt plus rapidement que n'importe quelle fonction calculable. D\u00E9terminer le castor affair\u00E9 parmi un ensemble de machines de Turing \u00E0 n \u00E9tats donn\u00E9s est un probl\u00E8me insoluble algorithmiquement ; en pratique, on ne peut m\u00EAme pas esp\u00E9rer exhiber un castor affair\u00E9 pour un nombre n au-del\u00E0 de 10. Le concept, introduit en 1962 par le math\u00E9maticien hongrois Tibor Rad\u00F3, est l'un des premiers exemples connus de fonction non calculable."@fr . "Busy beaver"@en . . . . . . . . . . . . . . "Castor affair\u00E9"@fr . .