Sta znaci na Engleskom НЕОДЛУЧИВ - prevod na Енглеском

• undecidable

Примери коришћења Неодлучив на Српском и њихови преводи на Енглески

Скраћенице су Тјурингове( Неодлучиво pp. 119).
The abbreviations are Turing's(Undecidable p.119).

Ми смо показали да је Е неодлучив редукцијом добијеном од H.
We show that E is undecidable by a reduction from H.

Скраћенице су Тјурингове( Неодлучиво pp. 119).
The abbreviations are Turing's(The Undecidable, pp. 119).

Д О формално неодлучивим реченицама из Principia Mathematica.
On formally undecidable sentences of Principia Mathematica.

Робинсон је 1949. установила да је теорија поља неодлучива.
Robinson established in 1949 that the theory of fields is undecidable.

Постоје два различита чула речи" неодлучивог" у савременој употреби.
There are two distinct senses of the word"undecidable" in contemporary use.

Скуп који није израчунљив се назива неизрачунљивим или неодлучивим.
A set which is not computable is called noncomputable or undecidable.

Теорија поља је неодлучива, али не и суштински неодлучива.
The theory of fields is undecidable but not essentially undecidable.

Пошто знамо да таква S не може да постоји, следи да је језик E такође неодлучив.
Since we know that such an S cannot exist, it follows that the language E is also undecidable.

Многи од примера неодлучивих теорија првог реда, датих горе имају ову форму.
Many of the examples of undecidable first-order theories given above are of this form.

Парцијално одлучиви проблеми и сви остали проблеми који нису одлучиви се називају неодлучивим.
Partially decidable problems and any other problems that are not decidable are called undecidable.

Следећи проблеми су неодлучиви за произвољне контекстно слободне граматике A и B.
The following problems are undecidable for arbitrarily given context-free grammars A and B.

Следећи пример показује како се користи смањење проблема да докаже да је језик неодлучив.
The following example shows how to use reduction from the halting problem to prove that a language is undecidable.

Исто тако, рачунарско свођење фукнције израчунљивости може да смањи неодлучив проблем у један одлучив.
Likewise, a reduction computing a noncomputable function can reduce an undecidable problem to a decidable one.

Белоглави проблем у групи теорија је представљен као неодлучив, у првом смислу речи, у стандрадном сету теорија.
The Whitehead problem in group theory was shown to be undecidable, in the first sense of the term, in standard set theory.

За такав проблем се каже да је неодлучив ако нема за израчуниву функцију која тачно одговара на свако питање о проблему у скупу.
Such a problem is said to be undecidable if there is no computable function that correctly answers every question in the problem set.

Белоглави проблем у групи теорија је представљен као неодлучив, у првом смислу речи, у стандрадном сету теорија.
In 1973, Saharon Shelah showed the Whitehead problem in group theory is undecidable, in the first sense of the term, in standard set theory.

Међутим, углавном доказ одлучивости је неодлучив, много програми захтевају ручно-написане анотације које можда нису тривијалне.
However, in general proof of decidability is undecidable, so many programs require hand-written annotations that may be very non-trivial.

Крускалова теорема дрвета, која има примену у рачунарској науци, је такође неодлучив од Пеано аксиома, али доказива у теорији скупова.
Kruskal's tree theorem, which has applications in computer science, is also undecidable from the Peano axioms but provable in set theory.

Проблем празности за контекстно-сензитивне граматике( да ли за дату контекстно сензитивну граматику G, важи L( G)= ∅{\ displaystyle L( G)=\ emptyset}?) је неодлучив.
The emptiness problem for context-sensitive grammars(given a context-sensitive grammar G, is L( G)=∅?) is undecidable.

Да би показао да је Проблем одлучивања P неодлучив морамо наћи смањење проблема одлучивања за који је већ познато да је неодлучив за P.
To show that a decision problem P is undecidable we must find a reduction from a decision problem which is already known to be undecidable to P.

Ова комбинација ефективно замагљује разлике између рашчлањивања и извршавања, и чини анализу синтаксне анализе неодлучивим проблемом у поменутим програмским језицима, мислећи на то да се фаза рашчлањавања можда није завршила.
This combination effectively blurs the distinction between parsing and execution, and makes syntax analysis an undecidable problem in these languages, meaning that the parsing phase may not finish.

Технички, подела у одлучиве и неодлучиве проблеме више спада у теорију израчунљивости, али и помаже у пружању перспективе над класама сложености.
Technically, the breakdown into decidable and undecidable pertains more to the study of computability theory but is useful for putting the complexity classes in perspective.

Парис и Харингтон су доказали Парис-Харингтонов принцип, верзију Рамзијеве теореме, је неодлучив у аксиматизацији аритметике дате од стране Пеанових аксиома али може бити доказан тачним у великим системима аритметике другог-реда.
In 1977, Paris and Harrington proved that the Paris-Harrington principle, a version of the Ramsey theorem, is undecidable in the axiomatization of arithmetic given by the Peano axioms but can be proven to be true in the larger system of second-order arithmetic.

Да би показао да је Проблем одлучивања P неодлучив морамо наћи смањење проблема одлучивања за који је већ познато да је неодлучив за P. Та функција смањења мора бити израчунљива функција.
To show that a decision problem P is undecidable we must find a reduction from a decision problem which is already known to be undecidable to P. That reduction function must be a computable function.

У ствари Крускала теорема дрвета( или његов коначни облик) је неодлучив у многим јачим системима кодификације принципа прихватљива на основу филозофије математике названа предикативизам.
In fact Kruskal's tree theorem(or its finite form) is undecidable in a much stronger system codifying the principles acceptable based on a philosophy of mathematics called predicativism.

Веза између ова два је да ако је проблем одлука неодлучив( у рекурзијско теоријском смислу) онда нема доследно ефективног формалног система који доказује да свако питање А у проблему или" одговор на А је да" или" одговор на А је не".
The connection between these two is that if a decision problem is undecidable(in the recursion theoretical sense) then there is no consistent, effective formal system which proves for every question A in the problem either"the answer to A is yes" or"the answer to A is no".

Робинсонова аритметика је суштински неодлучива, и стога је свака конзистентна теорија која укључује или интерпретира Робинсонову аритметику такође( суштински) неодлучива.
Robinson arithmetic is known to be essentially undecidable, and thus every consistent theory that includes or interprets Robinson arithmetic is also(essentially) undecidable.