En informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l`anglais Turing complete) s`il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n`i...