A TURING IN SPANISH TRANSLATION

• turing

Examples of using A turing in English and their translations into Spanish

theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine.
en ciencias de la computación teórica, una máquina de registro es una clase genérica de máquinas abstractas usadas en una manera similar a una máquina de Turing.

In computational complexity theory, R is the class of decision problems solvable by a Turing machine, which is the set of all recursive languages.
En complejidad computacional, R es la clase conformada por los problemas de decisión resolubles por una máquina de Turing, vale decir, el conjunto de todos los lenguajes recursivos.

as well as the operation of a Turing machine.
el funcionamiento de una máquina de Turing.

The data compression test has some advantages over most versions and variations of a Turing test, including: It gives a single number that can be directly used to compare which of two machines is"more intelligent.
La prueba de compresión de información tiene ciertas ventajas sobre la mayoría de las versiones de la prueba de Turing incluyendo: Da un único número que puede ser usado directamente para comparar cuál de las dos máquinas en más inteligente.

This is because the language of non-accepting computation histories of a Turing machine M{\displaystyle M}
Esto es porque el lenguaje que no acepta historias de cómputo de una Máquina de Turing M{\displaystyle M}

given a description of a Turing machine M guaranteed to halt in polynomial time, does there exist a polynomial-size input that M will accept?
Dada una descripción de una máquina de Turing M que se detiene en tiempo polinómico,¿existe una entrada de tamaño polinómico que M acepte?

Warwick participated as a Turing Interrogator, on two occasions, judging machines in the 2001
Kevin ha participado en tres ocasiones como un Interrogador Turing, juzgando máquinas en 2001, Turing..">

Satisfiability of first order Horn clauses The halting problem(determining whether a Turing machine halts on a given input)
Máquinas abstractas Problema de parada(determinar si una máquina de Turing se detiene en una entrada dada) y y el problema de mortalidad determinando

One of the best examinations of this subject was done by Peter Naur- creator of the BNF notation and winner of a Turing award- in his essential article"Programming as Theory Building.
Uno de los que mejor ha tratado el tema de la actividad de programar es Peter Naur, creador de la notación BNF y ganador de un premio Turing(2005), en su artículo"Programming as Theory Building.

Equivalently, RE is the class of decision problems for which a Turing machine can list all the'yes' instances,
Equivalentemente, haciendo alusión a la palabra"enumerable", RE es la clase de los problemas de decisión para los cuales una máquina de Turing puede listar todas las instancias sí,

That by use of a Turing machine, a finite definition- in the form of the machine's table- is being used to define what is a potentially-infinite string of decimal digits.
esta definición enfatiza la observación de Minsky:(3) utilizando una Máquina de Turing se da una definición finita de lo que es potencialmente una cadena infinita de dígitos decimales.

for a physical system that has a finite size and energy, and that a Turing machine with finite physical dimensions
tiene un tamaño y energía finitos, y que una máquina de Turing con dimensiones físicas finitas

Special cases include the undecidability of whether a Turing machine accepts a particular string, whether a Turing machine recognizes a particular recognizable language, and whether the language recognized by a Turing machine could be recognized by a nontrivial simpler machine,
Los casos especiales incluyen la indecidibilidad de si una máquina de Turing acepta una cadena particular, si una máquina de Turing reconoce un lenguaje reconocible particular, y si el lenguaje reconocido por una máquina de Turing podría ser reconocido por una máquina no trivial más simple,

R. E. Stearns showed that given a Turing machine Mα that halts on input x within N steps,
R. E. Stearns mostraron que dada una máquina de Turing Mα que se detiene con la entrada x en N pasos,

There are two purposes of a Turing machine.
Representación artística de una máquina de Turing.

A Turing machine is a basic model of computation.
El modelo de la máquina de Turing es una manera de describir una computadora abstracta.

So, what is it actually like to be a judge in a Turing test?
Pero,¿cómo es ser juez en un test de Turing?

Those strings accepted by some automaton, such as a Turing machine or finite state automaton;
Cadenas aceptadas por un autómata, tal como una máquina de Turing.

Informally, these theorems say that given more time, a Turing machine can solve more problems.
Informalmente, estos teoremas dicen que con más tiempo, una máquina de Turing puede resolver más problemas.

you're gonna be the human component in a Turing Test.
tú serás el componente humano de la prueba de Turing.