Déployeur universel

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Cet article concerne la notion d'informatique théorique. Pour le concept philosophique, voir Déployeur universel de programmes.
image illustrant l’informatique théorique
Cet article est une ébauche concernant l’informatique théorique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Un déployeur universel, ou dovetailing en anglais, est un type d'algorithme qui entrelace plusieurs calculs et les exécute en quelque sorte en parallèle.

De façon plus précise, étant donné une famille potentiellement infine de programmes à exécuter, dont l'exécution ne termine pas forcément, le déployeur universel procédera en exécutant une étape de , puis une étape de puis , puis une étape de , et ainsi de suite. On remarque que l'étape du programme est exécutée au temps , où est la fonction de Cantor[C'est-à-dire ?] qui associe un entier à une paire d'entiers.