De la puissance cachée de certains programmes

National audienceLes programmes dits d'application fournissent des fonctionnalités spécifiques conçues pour répondre aux besoins bien identifiés d'une catégorie d'utilisateurs. Chaque fonctionnalité lorsqu'elle est « appelée » par l'utilisateur devient une action qui concoure au résultat attendu par celui-ci. Dans cet article, nous soutenons pour différentes applications, et montrons pour l'une d'entre elles, qu'il existe une suite invariante d'actions élémentaires de l'application visée qui constitue un cycle complet d'une machine de Turing. Dans le cas d'un traitement de texte, le ruban et le programme au sens de Turing étant simplement représentés par des caractères sur une page, la simple répétition d'une succession toujours identique d'actions élémentaires du traitement de texte (ex. trier, remplacer, mettre en gras …) dans le même ordre va exécuter le programme écrit dans le document et constitué des instructions élémentaires au sens de Turing (déplacer le pointeur de ruban, écrire une valeur à la position courante du ruban, changer l'état courant). Le résultat sera l'état du ruban à la fin du programme. De spécifiques au traitement de texte, les fonctionnalités prennent alors une puissance universelle au sens de Turing. Elles forment un système formel Turing-complet. De même pour les autres applications. Cette manière incongrue d'utiliser ces applications n'est, en général, pas vraie lors de leurs premières versions mais le devient par l'ajout au cours du temps de fonctionnalités apparemment anodines. On en conjecture que les concepteurs d'applications ont tendance inconsciemment à rendre celles-ci complètes et universelles au sens de Turing indépendamment des outils explicites de programmation qu'ils placent volontairement en sus (VBA,visualbasic…)