Turing-complet
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Le terme Turing-complet[1] désigne en informatique un système formel ayant au moins le pouvoir des machines de Turing.

Un langage de programmation est dit Turing-complet s'il permet de représenter toutes les fonctions calculables au sens (SENS (Strategies for Engineered Negligible Senescence) est un projet scientifique qui a pour but l'extension radicale de l'espérance de vie humaine. Par une évolution progressive allant du ralentissement...) de Turing et Church (nonobstant la finitude de la mémoire (D'une manière générale, la mémoire est le stockage de l'information. C'est aussi le souvenir d'une information.) des ordinateurs). La plupart des langages usuels de programmation (La programmation dans le domaine informatique est l'ensemble des activités qui permettent l'écriture des programmes informatiques. C'est une étape importante de la conception de logiciel (voire de matériel, cf. VHDL).) (C, C++, Java, ...) sont Turing-complets. Le fait d'être Turing-complet (Le terme Turing-complet[1] désigne en informatique un système formel ayant au moins le pouvoir des machines de Turing.) est généralement un critère requis d'un langage de programmation (Un langage de programmation est un langage informatique, permettant à un être humain d'écrire un code source qui sera analysé par...) générique, par opposition à un langage dédié au traitement de problèmes spécifiques.

  1. En toute rigueur on devrait dire complet au sens de Turing, mais c'est la traduction littérale de l'expression anglo-saxonne Turing complete qui a prévalu.
Page générée en 10.468 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique