Sta znaci na Engleskom ИЗРАЧУНЉИВА - prevod na Енглеском

• computable
• calculable
• computed by

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

Свака таква функција је израчунљива.
Every such function is computable.

Реални бројеви су небројиви тако да већина реалних бројева није израчунљива.
The real numbers are uncountable so most real numbers are not computable.

Та функција смањења мора бити израчунљива функција.
That reduction function must be a computable function.

Није свака укупна израчунљива функција и доказиво укупна у Пеано аритметици, међутим;
Not every total computable function is provably total in Peano arithmetic, however;

Ипак, знамо да функција f мора бити израчунљива.
Nevertheless, we know that the function f must be computable.

Свака ефективно израчунљива функција( ефективно одлучив предикат) је опште рекурзивна.
Thesis I. Every effectively calculable function(effectively decidable predicate) is general recursive.

Скуп финираних функција на природне бројеве је небројив тако да већина није израчунљива.
The set of finitary functions on the natural numbers is uncountable so most are not computable.

Свака ефективно израчунљива функција( ефективно одлучив предикат) је опште рекурзивна[ Клинијев курзив].
Every effectively calculable function( effectively decidable predicate) is general recursive italics.

Следећи примери илуструју како функција може бити израчунљива иако се не зна који је алгоритам израчунава.
The following examples illustrate that a function may be computable though it is not known which algorithm computes it.

Ако би g била тотално израчунљива функција која проширује f онда би g била израчунљива на некој Тјуринговој машини;
If g were a total computable function extending f then g would be computable by some Turing machine;

Тјуринг-потпун систем се назива Тјуринг еквивалентан ако се свака функција која се може израчунати такође Тјуринг израчунљива;
A Turing-complete system is called Turing equivalent if every function it can compute is also Turing computable; i.e.

Тако свака израчунљива функција мора имати ограничен програм који у потпуности описује како функција треба да се израчуна.
Thus every computable function must have a finite program that completely describes how the function is to be computed.

Примитивно рекурзивне функције имају тенденцију да одговарају веома блиско нашој интуицији о томе израчунљива функција мора бити.
Primitive recursive functions tend to correspond very closely with our intuition of what a computable function must be.

Свака израчунљива функција има ограничену процедуру која је експлицитна, даје недвосмислене инструкције о томе како да се израчуна.
Every computable function has a finite procedure giving explicit, unambiguous instructions on how to compute it.

Овај скуп је рекурзивно пребројив, што значи да постоји израчунљива функција која исписује све парове( i, x) које овај скуп садржи.
This set is recursively enumerable, which means there is a computable function that lists all of the pairs(i, x) it contains.

Није свака укупна израчунљива функција и доказиво укупна у Пеано аритметици, међутим; пример такве функције обезбеђује Гудштајнова теорема.
Not every total computable function is provably total in Peano arithmetic, however; an example of such a function is provided by Goodstein's theorem.

Функција f таква да је f( n)= 1 ако постоји низ најмање n узастопних петица у децималном проширењу π, f( n)= 0 у супротном, је израчунљива.
The function f such that f(n)= 1 if there is a sequence of at least n consecutive fives in the decimal expansion of π, and f(n)= 0 otherwise, is computable.

Ако би g била тотално израчунљива функција која проширује f онда би g била израчунљива на некој Тјуринговој машини; нека је e индекс такве машине.
If g were a total computable function extending f then g would be computable by some Turing machine; fix e as the index of such a machine.

Черчова теза гласи да се ова два појма поклапају: свака функција теорије бројева која је ефективно израчунљива је рекурзивно израчунљива.
The Church-Turing thesis states that the two notions coincide: any number-theoretic function that is effectively calculable is recursively computable.

Један начин класификације снаге ових слабих система је карактеризацијом која израчунљива функција система може доказати да је укупна( види Фаиртлог и Вајнер( 1998)).
One method of classifying the strength of these weak systems is by characterizing which computable functions the system can prove to be total(see Fairtlough and Wainer(1998)).

Пошто заузет дабар не може да се израчуна Тјуринговим машинама, Черч-Тјурингова теза каже да ова функција не могу бити ефикасно израчунљива било којом методом.
Since the busy beaver function cannot be computed by Turing machines, the Church-Turing thesis states that this function cannot be effectively computed by any method.

Рекурзивно пребројив језик је формални језик за који постоји Тјурингова машина( или нека друга израчунљива функција) која може да преброји све валидне ниске језика.
A recursively enumerable language is a formal language for which there exists a Turing machine(or other computable function) which will enumerate all valid strings of the language.

Да ли свака парцијална функција која је израчунљива на парцијалној Тјуринговој машини проширива( то јест да ли јој је могуће проширити домен) тако да постане тотална израчунљива функција?
Can every partial function computable by a partial Turing machine be extended(that is, have its domain enlarged) to become a total computable function?

Displaystyle T_{ 1},\ ldots T_{ 2},\ ldots} Тјурингових машина које рачунају тоталне функције тако да је свака тотално израчунљива функција израчунљива једном од машина Ti.
Displaystyle T_{1},\ldots T_{2},\ldots} of Turing machines that compute total functions and so that every total computable function is computable by one of the machines Ti.

То може да се покаже да је функција која је израчунљива[' Процењива'] у једном од система Си, или чак у систему трансфинит типа, већ израчунљива[ Процењива] у С1.
It may also be shown that a function which is computable['reckonable'] in one of the systems Si, or even in a system of transfinite type, is already computable[reckonable] in S1.

Данас се оне често посматрају као једна хипотеза, Черч-Тјурингова теза, које наводе да је било која функција која је израчунљива помоћу алгоритама је и израчунљива функција.
Nowadays these are often considered as a single hypothesis, the Church- Turing thesis, which states that any function that is computable by an algorithm is a computable function.

Да би показао да је Проблем одлучивања 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.

Тјуринг еквивалентан Тјуринг-потпун систем се назива Тјуринг еквивалентан ако се свака функција која се може израчунати такође Тјуринг израчунљива; тј, да израчунава потпуно исту класу функција као и Тјурингове машине.
Turing equivalence A Turing-complete system is called Turing equivalent if every function it can compute is also Turing computable; i.e., it computes precisely the same class of functions as do Turing machines.

Черч и Тјуринг су доказали да се ове три формално дефинисане класе израчунљивих функција поклапају: функција је ламбда израчуљива ако и само ако је Тјуринг израчунљива и акко је опште рекурзивна.
Church and Turing proved that these three formally defined classes of computable functions coincide: a function is λ-computable if and only if it is Turing computable if and only if it is general recursive.

Ми ћемо користити израз" израчунљива функција' да означимо функцију израчунату на машини, и пустимо' ефективно израчунате' да се односи на интуитивну идеју без посебне идентификације са било којим од ових дефиниција.".
We shall use the expression"computable function" to mean a function calculable by a machine, and we let"effectively calculable" refer to the intuitive idea without particular identification with any one of these definitions".