TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

TURING MODEL [3 fiches]

Fiche 1 2024-12-02

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Mathematics
DEF

A theoretical machine built to test whether certain classes of problems could be solved digitally.

CONT

The Turing machine is not a machine in the ordinary sense but rather an idealized mathematical model that reduces the logical structure of any computing device to its essentials.

OBS

[The Turing machine] can perform any operation expressed in Boolean algebra, that is, expressed in terms of 1s and 0s.

Français

Domaine(s)
  • Intelligence artificielle
  • Mathématiques informatiques
DEF

Dispositif mathématique abstrait capable de lire et d'écrire des informations unitaires, au stade le plus élémentaire de leur analyse logique, sur une bande idéale en procédant case par case.

CONT

En 1936, quand Alan Turing introduisit le modèle aujourd'hui connu sous le nom de machine de Turing et qui servit de fondement mathématique aux premiers ordinateurs, il le présenta comme une formulation explicite des opérations mentales d'un «homme en train de calculer».

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
  • Matemáticas para computación
CONT

Una máquina de Turing es un modelo matemático de un dispositivo computacional que puede seguir un conjunto de instrucciones para realizar cálculos.

Conserver la fiche 1

Fiche 2 2017-02-02

Anglais

Subject field(s)
  • Computers and Calculators
  • Programming Languages
CONT

Turing-completeness is a statement on the expressive power of a query language, a programming language or an arbitrary computational model. It states that everything that can be computed with a Turing machine can be computed in that language or computational model.

Français

Domaine(s)
  • Ordinateurs et calculateurs
  • Langages de programmation
CONT

Il faut peut-être viser la complétude au sens de Turing, qui exprime [que nous avons] à notre disposition toute la puissance d'un langage de programmation universel.

Espagnol

Conserver la fiche 2

Fiche 3 2017-02-02

Anglais

Subject field(s)
  • Computers and Calculators
  • Programming Languages
CONT

A model of computation is called Turing-complete if it has(at least) the same computational power as Turing machines, that is, every Turing machine can be simulated in the model.

PHR

Turing-complete computational model, Turing-complete programming language, Turing-complete system

Français

Domaine(s)
  • Ordinateurs et calculateurs
  • Langages de programmation
CONT

Les [fragments de code] du [système] sont écrits dans un langage de programmation très sommaire qui n'est pas complet au sens de Turing. On ne pourrait donc pas l'utiliser pour faire fonctionner une machine de Turing.

PHR

langage de programmation complet au sens de Turing, modèle calculatoire complet au sens de Turing, système complet au sens de Turing

Espagnol

Conserver la fiche 3

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :