What is the translation of " HALTING PROBLEM " in Romanian?

• problema opririi
• problemei opririi

Examples of using Halting problem in English and their translations into Romanian

Much of computability theory builds on the halting problem result.
Mare parte din teoria calculabilității se bazează pe rezultatul problemei opririi.

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.

There are decision problems that are NP-hard but not NP-complete, for example the halting problem.
Există probleme de decizie care sunt NP-hard, dar nu NP-complete, de exemplu, problema opririi.

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ă.

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 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ă.

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.

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.

Turing reduced the question of the existence of an'algorithm' or'general method' able to solve the Entscheidungsproblem to the question of the existence of a'general method' which decides whether any given Turing Machine halts or not(the halting problem).
Turing a redus întrebarea la existența unui„algoritm” sau a unei„metode generale” capabilă să rezolve problema deciziei la întrebarea dacă există sau nu o metodă generală care decide dacă o anumită mașină Turing se oprește sau nu(problema opririi).

Given a set A, the Turing jump of A is a set of natural numbers encoding a solution to the halting problem for oracle Turing machines running with oracle A.
Dată fiind o mulțime A, saltul Turing al lui A este o mulțime de numere naturale ce codifică o soluție pentru problema opririi pentru mașini Turing cu oracolul A.

The statement that the halting problem cannot be solved by a Turing machine[7] is one of the most important results in computability theory, as it is an example of a concrete problem that is both easy to formulate and impossible to solve using a Turing machine.
Afirmația că problema opririi nu poate fi rezolvată de către o mașină Turing[7] este unul dintre cele mai importante rezultate din teoria calculabilității, un exemplu de problemă concretă, care este atât de ușor de formulat, dar imposibil de rezolvat folosind o mașină Turing.

The natural examples of sets that are not computable, including many different sets that encode variants of the halting problem, have two properties in common: They are recursively enumerable, and.
Mulțimile de numere naturale care nu sunt calculabile, inclusiv multe mulțimi diferite care codifică variante ale problemei opririi(d), au două proprietăți în comun: Sunt recursiv enumerabile(d), și.

For example, the Boolean satisfiability problem can be reduced to the halting problem by transforming it to the description of a Turing machine that tries all truth value assignments and when it finds one that satisfies the formula it halts and otherwise it goes into an infinite loop.
De exemplu, problema satisfiabilității booleene poate fi redusă la problema opririi prin transformarea acesteia într-o descriere a unei mașini Turing care încearcă toate atribuirile de valori de adevăr și atunci când constată una care satisface formula se oprește, în caz contrar mergând în buclă infinită.

The Turing jump of any set is always of higher Turing degree than the original set, and a theorem of Friedburg shows that any set that computes the Halting problem can be obtained as the Turing jump of another set.
Saltul Turing al oricărei mulțimi este întotdeauna de grad Turing mai mare decât mulțimea, și o teoremă a lui Friedburg arată că orice mulțime care calculează problema opririi poate fi obținută ca salt Turing al unei alte mulțimi.

This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means.
Acest rezultat a precedat munca lui Alan Turing pe tema problemei opririi, care a dus și ea la demonstrarea existenței unei probleme de nerezolvat prin mijloace mecanice.

Fred Cohen, a computer scientist who formulated the definition of a computer virus, went one step further and demonstrated that this so-called“halting problem” applies to cybersecurity as well.
Fred Cohen, om de știință în domeniul calculatoarelor, care a formulat definiția unui virus de calculator, a mers un pas mai departe și a demonstrat că această așa-numită„problemă a stopării“ se aplică, de asemenea, pentru securitatea cibernetică.

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.

Many degrees with special properties were constructed: hyperimmune-free degrees where every function computable relative to that degree is majorized by a(unrelativized) computable function; high degrees relative to which one can compute a function f which dominates every computable function g in the sense that there is a constant c depending on g such that g(x)< f(x) for all x> c; random degrees containing algorithmically random sets; 1-generic degrees of 1-generic sets; and the degrees below the halting problem of limit-recursive sets.
S-au construit multe grade cu proprietăți speciale: gradele hiperimun-libere unde fiecare funcție calculabilă relativ la acest grad este majorată de o funcție calculabilă(nerelativizată); gradele înalte în raport cu care se poate calcula o funcție f care domină fiecare funcție calculabilă g, în sensul că există o constantă c care depinde de g astfel încât g(x)< f(x) pentru x> c; grade aleatoare ce conțin mulțimi algoritmic aleatoare; grade 1-generice de mulțimi 1-generice; și grade aflate sub problema opririi, cu mulțimi recursive la limită.

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ă.

Given a set A, the Turing jump of A is a set of natural numbers encoding a solution to the halting problem for oracle Turing machines running with oracle A. The Turing jump of any set is always of higher Turing degree than the original set, and a theorem of Friedburg shows that any set that computes the Halting problem can be obtained as the Turing jump of another set.
Dată fiind o mulțime A, saltul Turing al lui A este o mulțime de numere naturale ce codifică o soluție pentru problema opririi pentru mașini Turing cu oracolul A. Saltul Turing al oricărei mulțimi este întotdeauna de grad Turing mai mare decât mulțimea, și o teoremă a lui Friedburg arată că orice mulțime care calculează problema opririi poate fi obținută ca salt Turing al unei alte mulțimi.

Although the natural examples of noncomputable sets are all many-one equivalent, it is possible to construct recursively enumerable sets A and B such that A is Turing reducible to B but not many-one reducible to B. It can be shown that every recursively enumerable set is many-one reducible to the halting problem, and thus the halting problem is the most complicated recursively enumerable set with respect to many-one reducibility and with respect to Turing reducibility.
Deși exemplele naturale de mulțimi necalculabile sunt toate echivalente neinjectiv, se poate construi mulțimea recursiv enumerabilă A și B astfel încât A este Turing reductibilă la B, dar nu reductibilă neinjectiv la B. Se poate demonstra că toate mulțimile recursiv enumerabile sunt reductibile neinjectiv la problema opririi, și, astfel, problema opririi este cea mai complicată mulțime recursiv enumerabilă în raport cu reductibilitatea neinjectivă și cu reductibilitatea Turing.

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." This resulted in the Church- Turing thesis.
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 decalcul” alternative. Acest lucru a dus la teza Church- Turing.

Rice showed that for every nontrivial class C( which contains some but not all r. e. sets) the index set E={ e: the eth r. e. set We is in C} has the property that either the halting problem or its complement is many-one reducible to E, that is, can be mapped using a many-one reduction to E( see Rice 's theorem for more detail). But, many of these index sets are even more complicated than the halting problem.
Rice a arătat că pentru fiecare clasă trivială C( care conține unele mulțimi r. e., dar nu toate) mulțimea indice E={ e: a e- ea mulțime r. e. We este în C} are proprietatea că fie problema opririi, fie complementul acestea este reductibilă neinjectiv la E, adică poate fi mapată folosind o reducere neinjectivă la E. Dar multe dintre aceste mulțimi indice sunt chiar mai complicate decât problema opririi.