Déployeur universel
machine abstraite simulant l’exécution de toutes les autres machines de son modèle de calcul sur toutes les entrées possibles / De Wikipedia, l'encyclopédie encyclopedia
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].