Ils génèrent les langues qui sont reconnues par une machine de Turing.
Cette formalisation est appelée machine de Turing assistée par l'homme.
Une langue est récursive si elle est décidée par une machine de Turing.
A language is recursive if it is decided by a Turing machine.
Apprendre à utiliser la machine de Turing pour crypter et décrypter des messages codés
Learn how to use the Turing machine to encrypt and decrypt coded messages
La machine de Turing, M, peut être construit par les mouvements suivants
The Turing Machine, M, can be constructed by the following moves
En cela ce fut le premier à satisfaire la définition d'une machine de Turing.
As such, this was the first device to fit the definition of a Turing machine.
La machine de Turing exécute normalement les instructions dans l'ordre où elles sont insérées.
The Turing machine usually carries out the instructions in the order in which they are inserted.
Tout processus qui pourrait naturellement être appelé une procédure effective peut être réalisé par une machine de Turing.
Any process which could naturally be called an effective procedure can be realized by a Turing machine.
Il eût été facile de conclure que l'ensemble de ce château était, comme les autres, une nouvelle machine de Turing.
It would have been easy enough to conclude that this whole castle was, like the others, a Turing machine.
Et c'est donc également une machine de Turing ?
And it is also a Turing machine, then?
Puis il affirme qu'un traitement par une machine de Turing est décrit en posant
Puis he says that a computation of a Turing machine is described by stating
La définition des états et événements possibles est formulée dans un modèle de calcul, comme la machine de Turing ou l'automate fini.
The definition of possible states and events is formulated in a computation model, such as the Turing machine or the finite automaton.
