Un système Turing-Complete signifie que l'on peut représenter n'importe quel programme avec le dit système.

Bien sur les langages de programmations sont Turing-Complete

Ici une liste de système qui sont Turing-Complete par "accident" !

J'aime beaucoup l'exemple de Typescript notamment