Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
halting problem
Vertaling van "halting problem" in Spaans
problema de la parada
problema de parada
problema de detención
Even undecidable problems, like the halting problem, can be used.
Incluso pueden usarse problemas indecidibles, como el problema de la parada.
Turing has a paper where he talks about oracles, using an oracle for the halting problem.
Turing tiene un artículo donde habla de los oráculos, del uso de oráculos en el problema de la parada.
This creates a hierarchy of machines, each with a more powerful halting oracle and an even harder halting problem.
Este hecho crea una jerarquía de máquinas, conocida como la jerarquía aritmética, en la cual cada una tiene un mayor potencial y a su vez un mayor problema de parada.
This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means.
Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada que también demostró la existencia de problemas irresolubles por dispositivos mecánicos.
There are some things that simply cannot be computed, like the halting problem.
Hay algunas cosas que simplemente no se pueden calcular, como el problema de detención.
Even if someone were to invent a quantum computer, it still wouldn't be able to solve the halting problem.
Incluso si alguien quisiera inventar una computadora cuántica, aún no sería capaz de resolver el problema de detención.
The halting problem applies to the question of why compilers cannot detect infinite loops from earlier.
El problema de detención se aplica a la pregunta de por qué los compiladores no pueden detectar nudos infinitos desde antes.
While the problem we just described may not seem relevant, it can be reduced to additional unsolvable problems of practical importance, most notably the halting problem
Si bien el problema que acabamos de describir puede no parecer relevante, puede reducirse a problemas adicionales irresolubles de importancia práctica, sobre todo el problema de detención
However, if the function foo() in fact does not return, then the program with the call to foo() would be different from the program without the call; the optimizing compiler will then have to determine this by solving the halting problem.
Sin embargo, si la función foo() en realidad no regresa, entonces el programa con la llamada a foo() sería diferente del programa sin la llamada, el compilador de optimización tendrá entonces que determinar esto resolviendo el problema de la parada.
The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run.
El problema de la parada es un ejemplo: no existe algoritmo que determine de manera correcta si un programa arbitrario se detendrá, una vez sea ejecutado.
That is a theorem of computer science, Turing's 1936 theorem that there is no algorithm to solve the halting problem.
Eso es un teorema de las ciencias de la información, el teorema de Turing de 1936, en el que demuestra que no hay ningún algoritmo que pueda resolver el problema de la parada.
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).
He went on to prove that there was no solution to the Entscheidungsproblem by first showing that the halting problem for Turing machines is undecidable: in general, it is not possible to decide algorithmically, whether a given Turing machine will ever halt.
Llegó a probar que no había ninguna solución para el problema de decisión, Entscheidungsproblem, demostrando primero que el problema de la parada para las máquinas de Turing es irresoluble: no es posible decidir algorítmicamente si una máquina de Turing dada llegará a pararse o no.
Synoniemen voor halting problem in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 48. Exact: 48. Verstreken tijd: 46 ms.
