Turing-complet

Infos
L'adjectif Turing-completEn toute rigueur on devrait dire complet au sens de Turing, mais c'est la traduction littérale (et le calque syntaxique aussi) de l'expression anglo-saxonne Turing complete qui a prévalu. s'applique en informatique et en logique à un système formel ayant le pouvoir des machines de Turing. Ainsi un langage de programmation est dit Turing-complet s'il permet de représenter toutes les fonctions calculables au sens de Turing et Church (no
Turing-complet

L'adjectif Turing-completEn toute rigueur on devrait dire complet au sens de Turing, mais c'est la traduction littérale (et le calque syntaxique aussi) de l'expression anglo-saxonne Turing complete qui a prévalu. s'applique en informatique et en logique à un système formel ayant le pouvoir des machines de Turing. Ainsi un langage de programmation est dit Turing-complet s'il permet de représenter toutes les fonctions calculables au sens de Turing et Church (nonobstant la finitude de la mémoire des ordinateurs). La plupart des langages usuels de programmation (C, C++, Java, ...) sont Turing-complets. Le fait d'être Turing-complet est généralement requis pour un langage de programmation générique. En revanche, ce n'est pas le cas pour un langage dédié au traitement de problèmes spécifiques.

Voir aussi

- Thèse de Church

Note

Catégorie:Programmation informatique catégorie:Logique mathématique Catégorie:Calculabilité cs:Turing-kompletní de:Turing-Vollständigkeit en:Turing completeness es:Turing completo ia:Turing complete it:Turing equivalenza ja:チューリング完全 ko:튜링 완전 nl:Turingvolledigheid pt:Turing completa ru:Полнота по Тьюрингу sv:Turingkomplett zh:图灵完全
Sujets connexes
Alan Turing   Alonzo Church   C (langage)   Calculabilité   Informatique   Java (langage)   Langage de programmation   Machine de Turing   Système formel   Thèse de Church  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^