Ils génèrent les langues qui sont reconnues par une machine de Turing.
They generate the languages that are recognized by a Turing machine.
Le cours a couvert le principe de calculabilité en relation avec les machines de Turing.
The lecture covered the principle of computability in relation to Turing machines.
Les degrés de Turing ont dès lors été un domaine de recherche intense.
The Turing degrees have been an area of intense research since then.
Elle ne pouvait vérifier que tous étaient des machines de Turing.
She could not verify that all of them were Turing machines.
Nous venons de faire un test de Turing pour la poésie.
So what we've just done now is a Turing test for poetry.
Turing est généralement reconnu comme le père de l'informatique moderne.
Turing is generally accepted as the father of modern computing.
Mais Turing n'aura pas le temps de connaître l'ère des ordinateurs.
But Turing will not have time to get to know the computer age.
Ces recherches pour Turing ont pris beaucoup trop de mon temps.
These investigations for Turing have taken up too much of my time.
Le nom de Turing serait sorti si vous la menaciez.
It would send Turing's name if you put her in danger.
Chaque ensemble partiellement ordonné dénombrable peut être affecté des degrés de Turing.
Every countable partially ordered set can be embedded in the Turing degrees.
Une telle machine pourrait être en mesure de passer un test de Turing.
Such a machine might be able to pass a Turing test.
Je ne suis pas d'humeur pour un test Turing.
I'm not in the mood for a Turing test.
