programa para la toma de conciencia sobre el problema de las minas
MAP · mine awareness programme
problema de la parada oor Engels
problema de la parada
es
Problema de decisión que puede enunciarse de la siguiente manera: dada una descripción de un programa y una entrada finita, decidir si el programa termina o si se ejecutará por siempre, para esa entrada.
Vertalings in die woordeboek Spaans - Engels
halting problem
es
Problema de decisión que puede enunciarse de la siguiente manera: dada una descripción de un programa y una entrada finita, decidir si el programa termina o si se ejecutará por siempre, para esa entrada.
en
A decision problem which can be stated as follows: given a description of a program and a finite input, decide whether the program finishes running or will run forever, given that input.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
Comité Permanente sobre Desminado, Sensibilización sobre el Problema de las Minas y Tecnologías para las Actividades relativas a las Minas
Standing Committee on Mine Clearance, Mine Awareness and Mine Action Technologies
Programa para los problemas del medio ambiente y ordenación de los recursos naturales
Programme on Environment Issues and Natural Resources Management
Forum Permanente sobre Gestión Pública y Problemas de Gobierno para América Latina, el Caribe, España y Portugal
Standing Forum on Public Administration and Problems of Government for Latin America, the Caribbean, Spain and Portugal
Asociación para el Estudio del Problema Mundial de los Refugiados
AWR · Association for the Study of the World Refugee Problem · European Association for the Study of Refugee Problems
Comisión Internacional para el Estudio de los Problemas de la Comunicación
CIC · International Commission for the Study of Communication Problems · MacBride Commission
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Y ¿por qué necesitamos un oráculo para el problema de la parada?
For the other Czech exporting producer, Jäkl Karvina, a substantiated claim for differences in physical characteristics between the type of tube chosen for normal value and the type sold for export to the Community was madeLiterature Literature
Esto se denomina «oráculo para el problema de la parada».
And I have something special for our host and GodfatherLiterature Literature
La manera habitual de explicarlo es en términos del famoso «problema de la parada».
It' s inconvenientLiterature Literature
Se trata del llamado «problema de la parada» y es muy sencillo de exponer.
Can we put him/her a microphone?Literature Literature
Así que, si BB(N) fuera computable, nos brindaría una vía para resolver el problema de la parada.
I hope it was a new oneLiterature Literature
Ello se relacionaba con lo que él denominaba «el problema de la parada».
You can untie me nowLiterature Literature
En 1936 Alan Turing encontró un problema indecidible más simple, el problema de la parada para máquinas de Turing.
Nothing is in our hands anymoreLiterature Literature
Este resultado se remonta a los trabajos de Alonzo Church, Kurt Gödel y Alan Turing de 1930 (Problema de la parada y teorema de Rice).
All you need are the three fundamentals-- scented candles... massage oil... and Barry WhiteWikiMatrix WikiMatrix
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.
Yeah, I have to get out of here.Damn it. The worst part isWikiMatrix WikiMatrix
Sabemos esto porque, buscar un lugar para vivir, es un ejemplo del problema de la parada óptima, un tipo de problema ampliamente estudiado por matemáticos e informáticos teóricos.
Remember meted2019 ted2019
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).
Check the date it was signedWikiMatrix WikiMatrix
Y Lindsay fue a ver qué hacer... con el problema de la obra parada.
Now, together,let' s make his dream come trueOpenSubtitles2018.v3 OpenSubtitles2018.v3
Por ejemplo, el problema de determinar si una máquina de Turing arbitraria se detendrá en una entrada, o en todas las entradas, conocido como el problema de la parada, en el artículo original de Turing ha demostrado ser, en general, indecidible.
Yes, I know that hurts.We' re gonna take care of thatWikiMatrix WikiMatrix
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.
DEFINITION OF THE ROADWikiMatrix WikiMatrix
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.
Right between the dog boy and the two- headed rattlesnakeWikiMatrix WikiMatrix
Gracias a nuestra esperiencia de más de veintecinco años en el campo de los maquinarios textiles y la cosciencia de los problemas derivados de la “parada máquina”, hemos adoptado una politica de atención al servicio post ventas, con técnicos especializados y listos para resolver cualquier problema de nuestros clientes.
Do- do, do- doIntroducing meCommon crawl Common crawl
Sin embargo, los compiladores optimizadores no son de ninguna manera perfectos. No hay manera de que un compilador puede garantizar que, para todo código fuente de un programa, se genera la salida equivalente más rápida o más pequeña; tal compilador es imposible, ya que resolvería el problema de la parada.
Come on, Donny!WikiMatrix WikiMatrix
Por una simplificación del problema de la parada es posible probar que (para cualquier lenguaje turing completo) encontrar todos los posibles errores en tiempo de ejecución de un programa arbitrario (o más generalmente, cualquier tipo de violación de especificación en el programa final) es indecidible: no existe un método mecánico que siempre pueda contestar con la verdad si un determinado programa puede o no tener errores de ejecución.
And so i just thought i' d look at gwen' s obitWikiMatrix WikiMatrix
Con la implantación del sistema experto también se consiguió acortar los tiempos de reacción para solucionar problemas relacionados con la parada de las máquinas, lo cual también conlleva un ahorro de costes.
I haven' t had a drink in three monthscordis cordis
El evitar el cumarina, el menadione y el ASA, además de haber parado de asumir benceno con la comida, ha parado todos los problemas de sangramiento que hemos encontrado.
Do me a favour, will you?Common crawl Common crawl
En una de las paradas de la línea hubo un problema con las puertas.
You let me make itLiterature Literature
¿Insinúas con esto que los responsables de la factoría inventaron la excusa de la parada para ocultar otro problema?
As you can plainly see, it was bloody awful!Literature Literature
Según diversas fuentes, el uso de Ritalin (metilfenidato) para el tratamiento de los problemas de atención y de la hiperactividad no ha parado de aumentar en los últimos años.
Glad to be herenot-set not-set
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.
Leave the station?WikiMatrix WikiMatrix
Claramente, él hace demasiados pocos para la interacción, tiene problemas, si él está parado con de nuevo a la puerta y demasiado poco funciona.
Nobody' il hurt youCommon crawl Common crawl
897 sinne gevind in 77 ms. Hulle kom uit baie bronne en word nie nagegaan nie.