undecidable problem oor Spaans

undecidable problem

Vertalings in die woordeboek Engels - Spaans

Problema indecidible

voorbeelde

There are uncountably many undecidable problems, so the list below is necessarily incomplete.
Existe una infinidad de problemas indecidibles, por lo que cualquier lista de problemas indecidibles es necesariamente incompleta.

The list of undecidable problems gives additional examples of problems with no computable solution.
La lista de problemas indecidibles contiene ejemplos adicionales sobre problemas sin soluciones computables.

In 1936 Alan Turing found a simpler undecidable problem, the halting problem for Turing machines.
En 1936 Alan Turing encontró un problema indecidible más simple, el problema de la parada para máquinas de Turing.

Then, we exploit this undecidability result to exhibit a number of other undecidable problems.
A continuación, aplicaremos el resultado obtenido acerca de la indecidibilidad a una serie de problemas indecidibles.

PCP is an important example of an undecidable problem.
El PCP es un ejemplo importante de un problema indecidible.

If the brain was a Turing machine, it shared the machine’s limits: there existed undecidable problems.
Si el cerebro era una máquina de Turing, ambos tenían los mismos límites: había problemas indecidibles.

If we picked a language at random, almost certainly it would be an undecidable problem.
Si elegimos un lenguaje al azar, casi seguro que será un problema indecidible.

In computability theory, one of the basic undecidable problems is the halting problem: deciding whether a deterministic Turing machine (DTM) halts.
En teoría de la computabilidad, uno de los problemas básicos no decidibles es el de decidir si una máquina de Turing determinista (DTM) se detiene(problema de la parada).

The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.
El Problema de Correspondencia de Post es un problema de decisión indecidible que fue propuesto por Emil Post.

Languages that have constructs that allow the programmer to alter the behavior of the parser make syntax analysis an undecidable problem, and generally blur the distinction between parsing and execution.
Los lenguajes que permiten construcciones que permiten al programador alterar el comportamiento de un analizador hacen del análisis de la sintaxis un problema sin decisión única, y generalmente oscurecen la separación entre análisis y ejecución.

In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer.
En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de sí o no correcta.

For proving the undecidability of the word problem in groups he was awarded the Lenin Prize in 1957.
En 1955, demostró la indecidibilidad del problema de la palabra para los grupos. Este resultado le valió el premio Lenin en 1957.

With the mathematician Raphael Douady, he called the problem statistical undecidability (Douady and Taleb, 2010).
Con el matemático Raphael Douady, llamó al problema la indecidibilidad estadística (Douady y Taleb, 2010).

But no one can prove or disprove that the P/NP problem is undecidable, either.
Pero tampoco nadie puede demostrar ni refutar que el problema P/NP sea indecidible.

Gone, then, was any hope that only obscure problems were undecidable.
Se desvanecía, por tanto, cualquier esperanza de que únicamente fueran indecidibles los problemas más abstrusos.

This problem, still undecided, brought us almost to train time.
Con aquel problema, mal resuelto, estuvimos hasta la hora del tren.

We shall prove that this problem is undecidable; to do this, we shall prove that it is undecidable for a special case.
Vamos a demostrar que este problema es indecidible y para ello demostraremos que lo es en un caso particular.

Yes/ no/ undecided: Survey responses of yes, no, and undecided (as in the Chapter Problem) 2.
Sí/no/indeciso: Respuestas de sí, no e indeciso en una encuesta (como en el problema del capítulo). 2.

This was historically the first problem for which undecidability could be proven.
Este fue históricamente el primer problema para el cual la irresolubilidad pudo ser probada.

Since the problem (1) is already undecidable for a special case, it is undecidable in general. 8.1.2.
El problema (1), al ser indecidible para un caso particular, lo es en general. 8.1.2.

Most general purpose functional programming languages allow unrestricted recursion and are Turing complete, which makes the halting problem undecidable, can cause unsoundness of equational reasoning, and generally requires the introduction of inconsistency into the logic expressed by the language's type system.
La mayoría de los lenguajes de programación funcional de propósito general permiten la recursividad sin restricciones y superan el test de Turing, lo que hace que el programa que se interrumpe no pueda tomar una decisión, lo que puede causar una falta de solidez en el razonamiento ecuacional y generalmente requiere introducir inconsistencia dentro de la lógica expresada por los tipos del sistema del lenguaje.

The principal technique is reducing PCP to the problem we wish to prove undecidable. 9.5.
La técnica principal consiste en reducir el PCP al problema que se desea demostrar que es indecidible.

It is undecidable whether a general combinatory term has a normal form; whether two combinatory terms are equivalent, etc. This is equivalent to the undecidability of the corresponding problems for lambda terms.
Es indecidible cuándo un término combinatorio general tiene forma normal; cuando dos términos combinatorios son equivalentes, etc. Esto es equivalente a la indecidibilidad de los correspondientes problemas para términos lambda.

It borrows directly from the notion of running a program on itself as input, which is also used in various proofs in theoretical computer science, such as the proof that the halting problem is undecidable.
Lo toma prestado directamente de la noción de ejecutar un programa en sí mismo como salida, lo cual también es usado en varias pruebas de la ciencia computacional teórica, por ejemplo en la prueba de que el problema de la parada es indeterminable.

And many interesting problems have been shown to be undecidable.
Y se ha demostrado que muchos problemas interesantes son indecidibles.