Turing-complet

Turing-complet est un terme utilisé pour décrire la capacité d'une machine à résoudre tout problème de calcul, quelle que soit sa complexité, en disposant de suffisamment de temps, de mémoire et d'instructions. Le concept est né de la machine hypothétique d'Alan Turing, qu'il imaginait comme une bande avec un code binaire et une tête de lecture/écriture capable de résoudre n'importe quel problème de calcul.

Un système ou un langage de programmation est considéré comme Turing-complet s'il peut reproduire les capacités d'une machine de Turing, tandis qu'un système qui ne peut pas le faire est considéré comme Turing-incomplet. Par exemple, une simple calculatrice est Turing-incomplète, car elle ne peut effectuer que des calculs limités, tandis qu'une calculatrice scientifique programmable est Turing-complète, car elle peut effectuer diverses tâches de calcul.

Dans le contexte de la technologie blockchain, certaines applications sont Turing-complètes, tandis que d'autres sont Turing-incomplètes en fonction de la technologie de script utilisée. Par exemple, le langage de script de Bitcoin est intentionnellement conçu comme Turing-incomplet pour éviter les problèmes potentiels, alors qu'Ethereum est construit comme une blockchain Turing-complète. Le caractère Turing-complet d'Ethereum lui permet de comprendre et de mettre en œuvre divers contrats intelligents et d'effectuer un large éventail de tâches, à condition de disposer des instructions, du temps et de la puissance de traitement nécessaires.