Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
halting problem
Traduction de "halting problem" en roumain
problema opririi
problemei opririi
Post showed that these sets are strictly between the computable sets and the halting problem with respect to many-one reducibility.
Post a arătat că aceste mulțimi sunt strict între mulțimile calculabile și problema opririi în ce privește reductibilitatea neinjectivă.
Although the halting problem is not computable, it is possible to simulate program execution and produce an infinite list of the programs that do halt.
Deși problema opririi nu este calculabilă, se poate simula execuția programului și se poate produce o listă infinită de programe care se opresc.
Much of computability theory builds on the halting problem result.
Mare parte din teoria calculabilității se bazează pe rezultatul problemei opririi.
Post's original motivation in the study of this lattice was to find a structural notion such that every set which satisfies this property is neither in the Turing degree of the recursive sets nor in the Turing degree of the halting problem.
Motivația inițială a lui Post pentru studiul acestei rețele a fost dorința de a găsi o noțiune structurală astfel încât fiecare mulțime care îndeplinește această proprietate să nu fie în gradul Turing al mulțimilor recursive, nici în gradul Turing al problemei opririi.
Harrington gave a further example of an automorphic property: that of the creative sets, the sets which are many-one equivalent to the halting problem.
Harrington a dat un alt exemplu de proprietate automorfă: mulțimile creative, mulțimi care sunt echivalente neinjectiv cu problema opririi.
Its main purpose was to prove that there were problems (namely the halting problem) that could not be solved by any sequential process.
Scopul principal a fost cel de a demonstra că există probleme (și anume problema opririi) care nu pot fi rezolvate de niciun proces secvențial.
Even more difficult are the undecidable problems, such as the halting problem.
Chiar și mai grele sunt problemele indecidabile(d), cum ar fi problema opririi(d).
Thus the halting problem is an example of a recursively enumerable set, which is a set that can be enumerated by a Turing machine (other terms for recursively enumerable include computably enumerable and semidecidable).
Astfel, problema opririi este un exemplu de mulțime recursiv enumerabilă(d), adică o mulțime ale cărei elemente pot fi enumerate de către o mașină Turing (alți termeni pentru "recursiv enumerabilă" ar fi și calculabil enumerabilă și semidecidabilă).
The halting problem, which is the set of (descriptions of) Turing machines that halt on input 0, is a well-known example of a noncomputable set.
Problema opririi, care este o mulțime de (descrieri de) mașini Turing care se opresc la intrarea 0, este un exemplu bine-cunoscut de mulțime necalculabilă.
Post (1944) asked whether every recursively enumerable set is either computable or Turing equivalent to the halting problem, that is, whether there is no recursively enumerable set with a Turing degree intermediate between those two.
Post (1944) a întrebat dacă toate mulțimile recursiv nenumerable sunt fie calculabile fie echivalente Turing cu problema opririi, adică dacă nu există nicio mulțime recursiv enumerabilă cu un grad Turing intermediar între cele două.
After ten years, Kleene and Post showed in 1954 that there are intermediate Turing degrees between those of the computable sets and the halting problem, but they failed to show that any of these degrees contains a recursively enumerable set.
După zece ani, Kleene și Post au arătat în 1954 că există grade Turing intermediare între cel al mulțimilor calculabile și cel al problemei opririi, dar nu au reușit să arate că oricare dintre aceste grade conține o mulțime recursiv-enumerabilă.
Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation."
Church și Turing au demonstrat apoi că calculul lambda și mașina Turing utilizată în problema opririi a lui Turing sunt echivalente în capabilități, și, ulterior, a demonstrat o varietate de "procese mecanice de calcul" alternative. Acest lucru a dus la teza Church-Turing.
It is easy to prove that the halting problem is NP-hard but not NP-complete.
Este ușor să se demonstreze că problema opririi este NP-hard, dar nu NP-completă.
Synonymes et analogies de "halting problem" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 23. Exacts: 23. Temps écoulé: 19 ms.
