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

• computable

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

Један формално може дефинисати функције које нису израчунљиве.
One can formally define functions that are not computable.

Израчунљиве функције су основни предмети истраживања у теорији рачунања.
Computable functions are the basic objects of study in computability theory.

Слично томе, већина подгрупа природних бројева нису израчунљиве.
Similarly, most subsets of the natural numbers are not computable.

У пракси су многе интересантне функције израчунљиве на машинама које увек стају.
In practice, many functions of interest are computable by machines that always halt.

Увере себе да не постоји начин да се продужи појам израчунљиве функције.".
Convince themselves that there is no way to extend the notion of computable function.

Постоје Тјуринг израчунљиве парцијалне функције које немају проширење до тотално Тјуринг израчунљивих функција.
There are Turing computable partial functions that have no extension to a total Turing computable function.

Ендертон[ 1977] даје следеће карактеристике поступка за израчунавање израчунљиве функције;
Enderton[1977] gives the following characteristics of a procedure for computing a computable function;

Многи еквивалентни модели рачунања су познати, а сви они дају исту дефиницију израчунљиве функције( или слабију верзију, у неким случајевима).
Many equivalent models of computation are known, and they all give the same definition of computable function(or a weaker version, in some instances).

Могуће је да се измисли једна машина која се може користити за рачунање било које израчунљиве секвенце.
It is possible to create a single machine that can be used to compute any computable sequence.

Његов аргумент почива на дефиницији алгоритма шире од обичне, тако да неизрачунљиве функције добијене из неких индуктивних Тјуринг машина се зову израчунљиве.
His argument relies on a definition of algorithm broader than the ordinary one, so that non-computable functions obtained from some inductive Turing machines are called computable.

Могуће је да се измисли једна машина која се може користити за рачунање било које израчунљиве секвенце.
It is possible to invent a single machine which can be used to compute any computable sequence.

Овај аргумент се може применити на било коју класу израчунљиве( потпуне) функције које се могу набројати на овај начин, као што је објашњено у чланку машина које се увек заустављају.
This argument can be applied to any class of computable(total) functions that can be enumerated in this way, as explained in the article Machine that always halts.

Нумерације могу бити делимично-рекурзивне иако су неки од њених чланова укупно рекурзивне, то јест, израчунљиве функције.
Numberings can be partial-recursive although some of its members are total recursive, that is, computable functions.

Расправа је почела када је Черч предложио да Гедел треба дефинисати" ефективно израчунљиве" функције као λ дефинисане функције.
The debate began when Church proposed to Gödel that one should define the"effectively computable" functions as the λ-definable functions.

Његова докторска теза, под називом" Системи логике на основу редних бројева", садржи следећу дефиницију" израчунљиве функције".
His PhD thesis, titled"Systems of Logic Based on Ordinals", contains the following definition of"a computable function".

Еквивалентно, израчунљиве функције могу бити озваничене као функције које могу да се обрачунавају од стране идеализованог рачунарског агента, као што је Тјурингова машина или машина регистра.
Equivalently, computable functions can be formalized as functions which can be calculated by an idealized computing agent such as a Turing machine or a register machine.

Ганди наводи да" функције које се могу израчунати( 1),( 2), и( 4) су управо оне који су Тјуринг израчунљиве".( pp. 53).
Gandy states that"the functions which can be calculated by(1),(2), and(4) are precisely those which are Turing computable."(p. 53).

Имајте на уму, међутим, да парцијалне израчунљиве функције( оне које не морају бити дефинисана за све аргументе) могу изричито бити набројане, на пример пописивање кодирања Тјурингове машине.
Note however that the partial computable functions(those that need not be defined for all arguments) can be explicitly enumerated, for instance by enumerating Turing machine encodings.

Реч бројив се користи, јер су ово еквиваленти за непразан подскуп B природних бројева: B је домен израчунљиве функције.
The word enumerable is used because the following are equivalent for a nonempty subset B of the natural numbers: B is the domain of a computable function.

На пример, могу се формализовати израчунљиве функције као μ-рекурзивне функције, које су делимичне функције које узимају коначне записе природних бројева и враћају један природни број( као горе).
For example, one can formalize computable functions as μ-recursive functions, which are partial functions that take finite tuples of natural numbers and return a single natural number(just as above).

Осим тога, ова процедура мора да се кодира у коначном писму које користи рачунарски модел, тако да су само бројиве многе израчунљиве функције.
Furthermore, this procedure has to be encoded in the finite alphabet used by the computational model, so there are only countably many computable functions.

Иако Черч-Тјурингова теза наводи да израчунљиве функције укључују све функције са алгоритмима, могуће је размотрити шире класе функција које опуштају услове које морају да поседују алгоритми.
Although the Church-Turing thesis states that the computable functions include all functions with algorithms, it is possible to consider broader classes of functions that relax the requirements that algorithms must possess.

Теорема ХХХ:" Следеће класе парцијалних функција су коекстензивне, тј имају исте чланове:( а) парцијалне рекурзивне функције,( б) израчунљиве функције…".
THEOREM XXX: The following classes of partial functions… have the same members:(a) the partial recursive functions,(b) the computable functions…"p.

Две најчешће класе расподеле које су дозвољене су: Полиномијално израчунљиве расподеле( П-израчунљиве): ово су расподеле за које је могуће израчунати кумулативну густину за било који улаз x.
The two most common classes of distributions which are allowed are: Polynomial-time computable distributions(P-computable): these are distributions for which it is possible to compute the cumulative density of any given input x.

Теорема ХХХ:" Следеће класе парцијалних функција су коекстензивне, тј имају исте чланове:( а) парцијалне рекурзивне функције,( б) израчунљиве функције…".
Theorem XXX: The following classes of partial functions are coextensive, i.e. have the same members:(a) the partial recursive functions,(b) the computable functions.

Од било која две неконачно израчунљива скупа су везана за израчунавање бијекције, овај предлог идентификује све бескрајне израчунљиве скупове( коначни израчунљиви скупови су сматрале као тривијалне).
Since any two infinite computable sets are linked by a computable bijection, this proposal identifies all the infinite computable sets(the finite computable sets are viewed as trivial).

Друго питање је у суштини питање да ли постоји други разуман модел израчунавања који израчунава само тоталне функције и израчунава све тотално израчунљиве функције.
The second question asks, in essence, whether there is another reasonable model of computation which computes only total functions and computes all the total computable functions.

Да ли је могуће променити дефиницију Тјурингове машине тако да је могуће наћи одређену класу тоталних Тјурингових машина, таквих да могу да израчунају све тотално израчунљиве функције?
Is it possible to change the definition of a Turing machine so that a particular class of total Turing machines, computing all the total computable functions, can be found?

Гуревич додаје модел Показивач машине Колмогорова и Успенског( 1953, 1958):"… они су само хтели да… увере себе да не постоји начин да се продужи појам израчунљиве функције.".
Gurevich adds the pointer machine model of Kolmogorov and Uspensky(1953, 1958):"… they just wanted to… convince themselves that there is no way to extend the notion of computable function.".