AccueilđŸ‡«đŸ‡·Chercher

DĂ©ployeur universel

Un dĂ©ployeur universel, appelĂ© parfois dovetailer, est une machine abstraite simulant l’exĂ©cution de toutes les autres machines de son modĂšle de calcul sur toutes les entrĂ©es possibles. Par extension, la technique du dĂ©ploiement universel consiste Ă  s’appuyer sur l’existence d’une telle machine pour dĂ©montrer des propriĂ©tĂ©s en thĂ©orie de la calculabilitĂ©[1].

DĂ©finition

Le principal obstacle Ă  la construction d’un dĂ©ployeur universel est l’existence de machines qui bouclent indĂ©finiment et empĂȘchent le dĂ©ployeur de passer Ă  la simulation des autres machines. Le schĂ©ma classique pour rĂ©gler ce problĂšme est le suivant[1] :

  1. Ă©numĂ©rer les triplets d’entiers en utilisant la fonction de couplage de Cantor ;
  2. par un codage, associer à une entrée ;
  3. par un codage, associer Ă  une machine ;
  4. simuler sur l’entrĂ©e pendant Ă©tapes.

Notion de temps pour les machines

Le schĂ©ma prĂ©cĂ©dent nĂ©cessite de pouvoir simuler une machine pendant un nombre maximal fixĂ© d’étapes. Cette notion de temps est propre au modĂšle de calcul choisi, par exemple[2] :

Dans d’autres domaines

Sous la thĂ©orie du computationnalisme, qui postule que l’esprit humain est une machine Ă  calculer complexe, il existe une Ă©tape dans l’exĂ©cution d’un dĂ©ployeur universel durant laquelle le fonctionnement d’un cerveau humain est parfaitement simulĂ©[3].

Par ailleurs, un déployeur universel gÚre toutes les histoires computationnelles possibles et rejoint la théorie des mondes multiples d'Everett.

Références

  1. Akim Demaille, Pierre Senellart et François Yvon, Théorie des langages, , 254 p. (lire en ligne), p. 145-146
  2. (en) PĂ©ter GĂĄcs, Theory of computation, , 8 p. (lire en ligne), p. 1
  3. Jean-Paul Delahaye, « Logique et calcul : Le monde des machines », Pour la Science, no 243,‎ , p. 102 (ISSN 0153-4092, lire en ligne)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplĂ©mentaires peuvent s’appliquer aux fichiers multimĂ©dias.