MACHINE DE TURING in English translation

• turing machine

Examples of using Machine de turing in French and their translations into English

On peut définir P/poly de manière équivalente en utilisant des machines de Turing déterministes qui prennent conseil.
Alternatively, PP can be defined using only deterministic Turing machines.

C'est un modèle de calcul qui est équivalent aux machines de Turing, et accepte donc la même classe de langages.
It is a model of computation equivalent to a Turing machine, and therefore it can process the same class of formal languages.

Les langages contextuels sont reconnus par les machines de Turing non déterministes à mémoire linéairement bornée, appelés communément automates linéairement bornés.
A context-sensitive language is equivalent with a linear bounded nondeterministic Turing machine, also called a linear bounded automaton.

C'est l'ensemble des problèmes de décision qui peuvent être décidés par des machines de Turing non déterministes dont l'espace de travail est borné par une fonction logarithmique.
That is, these problems can be solved by probabilistic Turing machines that use logarithmic space and never make errors.

des progrès ont été faits et on a pu prouver que diverses machines de Turing étaient constructibles.
advances have been made and various Turing machines have been proven to be constructible.

des machines ayant plus de capacités que les machines de Turing.
machines more capable than Turing machines.

Un modèle plus puissant que les machines de Turing a été introduit par Alan Turing dans son article« Systems of logic based on ordinals» en 1939.
A computational model going beyond Turing machines was introduced by Alan Turing in his 1938 PhD dissertation Systems of Logic Based on Ordinals.

Elles sont importantes puisque le théorème de la hiérarchie en temps repose sur des machines de Turing qui doivent déterminer en temps O(f(n))
They are important because the time hierarchy theorem relies on Turing machines that must determine in O(f(n))

Ces machines de Turing décalant le ruban à chaque transition ou« pas»(y compris dans une transition vers l'état d'arrêt),
Because these Turing machines are required to have a shift in each and every transition or"step"(including any transition to a Halt state),

il existe un nombre fini de machines de Turing à n états définies ainsi,
there are at most finitely many n-state Turing machines as above, up to isomorphism, hence at most

Grâce à cet encodage des tables d'actions sous forme de chaînes de caractères, il devient en principe possible que les machines de Turing répondent à des questions à propos du comportement d'autres machines de Turing.
With this encoding of action tables as strings it becomes possible in principle for Turing machines to answer questions about the behaviour of other Turing machines.

ce qui est nécessaire lorsque l'on considère des modèles de calcul tels que des machines de Turing qui manipulent des chaînes, plutôt que des nombres.
which is necessary when considering models of computation such as Turing machines that manipulate strings rather than numbers.

les ordinaux admissibles dénombrables sont exactement ceux correspondants à la construction de l'ordinal de Church-Kleene, mais en autorisant des machines de Turing avec oracles.
the countable admissible ordinals are exactly those constructed in a manner similar to the Church-Kleene ordinal, but for Turing machines with oracles.

est le score maximal parmi toutes les machines de Turing à 2 symboles et n états répondant aux spécifications énoncées dans le paragraphe précédent, lorsqu'elles débutent sur un ruban vierge.
is defined such that Σ(n) is the maximum attainable score(the maximum number of 1s finally on the tape) among all halting 2-symbol n-state Turing machines of the above-described type, when started on a blank tape.

Comme pour les machines de Turing, un automate linéairement borné possède une bande composée de cases susceptibles de contenir un symbole pris dans un ensemble fini appelé l'alphabet,
Like a Turing machine, an LBA possesses a tape made up of cells that can contain symbols from a finite alphabet, a head that can read from or write to one

utilise une classe de machines de Turing dont chaque membre répond aux spécifications suivantes: La machine possède
involves a class of Turing machines, each member of which is required to meet the following design specifications:

Une machine de Turing est un modèle de calcul abstrait.
A Turing machine is a basic model of computation.

Cette formalisation est appelée machine de Turing assistée par l'homme.
This formalisation is referred to as human-assisted Turing machine.

Cette probabilité est liée à une machine de Turing universelle particulière.
The probability is with reference to a particular Universal Turing machine.

Ce sont exactement les langages reconnaissables par une machine de Turing.
They generate exactly all languages that can be recognized by a Turing machine.