Tag: turing-complete
Un modèle de calcul est appelé Turing-complet s’il est capable de simuler une machine de Turing. Les langages de programmation qui sont Turing sont au moins aussi puissant que le plus puissant des modèles de possibilités de calcul encore théorisé.