Sta znaci na Engleskom РЕКУРЗИВНЕ ФУНКЦИЈЕ - prevod na Енглеском

• recursive functions
• recursive function

Примери коришћења Рекурзивне функције на Српском и њихови преводи на Енглески

Међутим, све примитивне рекурзивне функције се заустављају.
However, all primitive recursive functions halt.

Курс-вредности рекурзије дефинише примитивне рекурзивне функције.
Course-of-values recursion defines primitive recursive functions.

Ова хеуристичка чињеница[ опште рекурзивне функције су ефикасно израчунате]….
This heuristic fact[general recursive functions are effectively calculable]….

Неки облици међусобне рекурзије такође дефинишу примитивне рекурзивне функције.
Some forms of mutual recursion also define primitive recursive functions.

На пример, ако су g и h 2-арне примитивне рекурзивне функције онда.
For example, if g and h are 2-ary primitive recursive functions then.

Терминологија за рекурзивне функције и скупове није комплетно стандардизована.
The terminology for recursive functions and sets is not completely standardized.

У наставку смо приметили да примитивне рекурзивне функције имају четири типа.
In the following we observe that primitive recursive functions can be of four types.

Рекурзивне функције симболичких израза и њихово израчунавање по машини, део I.
Recursive functions of symbolic expressions and their computation by machine, Part I".

Сложеније примитивне рекурзивне функције се могу добити применом операција датим овим аксиомима.
More complex primitive recursive functions can be obtained by applying the operations given by these axioms.

Рекурзивне функције су функције које непосредно или посредно позивају саме себе.
Recursive functions are those functions which call themselves directly or indirectly.

Теорија рачунања и сложеност реалних бројева: NP-потпуност, рекурзивне функције и универзалне машине.".
On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines.".

Ниже елементарно рекурзивне функције прате претходно постављене дефиниције, осим што ограничен производ није дозвољен.
Lower elementary recursive functions follow the definitions as above, except that bounded product is disallowed.

То значи да се n-та дефиниција примитивне рекурзивне функције у овом набрајању може ефикасно одредити из n.
This means that the n-th definition of a primitive recursive function in this enumeration can be effectively determined from n.

Функције које се могу програмирати у петљи програмског језика су потпуно примитивно рекурзивне функције.
The functions that can be programmed in the LOOP programming language are exactly the primitive recursive functions.

Међутим, примитивно рекурзивне функције нису највећи рекурзивно бројиви скуп потпуних израчунљивих функција..
However, the primitive recursive functions are not the largest recursively enumerable set of total computable functions..

У принципу, функција која себе позива реп позивом може бити оптимизована, али међусобно рекурзивне функције не могу.
In general, a function that calls itself with a tail call can be optimized, but mutually recursive functions cannot.

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

Свака примитивна рекурзивна функција је целокупно рекурзивна, али нису све целокупне рекурзивне функције примитивно рекурзивне.
Every primitive recursive function is total recursive, but not all total recursive functions are primitive recursive..

Док елементарно рекурзивне функције потенцијално имају више од експоненцијалног раста, ниже елементарно рекурзивне функције имају полиномијални раст.
Whereas elementary recursive functions have potentially more than exponential growth, the lower elementary recursive functions have polynomial growth.

Примитивни рекурзивна аритметика( ПРА), формални аксиом система за природне бројеве и примитивне рекурзивне функције на њих, често се користи у ту сврху.
Primitive recursive arithmetic(PRA), a formal axiom system for the natural numbers and the primitive recursive functions on them, is often used for this purpose.

Примитивне рекурзивне функције су блиско повезане са математичким финитизмом, и користе се у контекстима у математичкој логици у којој се жели посебно конструктиван систем.
The primitive recursive functions are closely related to mathematical finitism, and are used in several contexts in mathematical logic where a particularly constructive system is desired.

Последица овог резултата је да било која μ-рекурзивна функција буде дефинисана употребом једне инстанце операције μ примењене на( укупне) примитивне рекурзивне функције.
A consequence of this result is that any μ-recursive function can be defined using a single instance of the μ operator applied to a(total) primitive recursive function.

Ако дефинишемо функцију f( n)= A( n, n), која повећава иm и n у исто време, добијамо функцију са једном променљивом, у односу на коју све примитивно рекурзивне функције једва да расту, укључујући врло брзо растуће функције као што су експоненцијална функција, факторијел, мулти- и суперфакторијел, па чак и функције дефинисане помоћу Кнутове нотације( осим кад се користи индексирана стрелица на горе).
If we define the function f( n)= A( n, n), which increases both m and n at the same time, we have a function of one variable that dwarfs every primitive recursive function, including very fast-growing functions such as the exponential function, the factorial function, multi-and superfactorial functions, and even functions defined using Knuth's up-arrow notation( except when the indexed up-arrow is used).

Ови истраживачи такође користе терминологију, као што су делимичне израчунљиве функције и израчунљиви пребројиви( ИП) скупови уместо делимично рекурзивне функције и рекурзивно пребројиви( РП) скупови.
These researchers also use terminology such as partial computable function and computably enumerable(c.e.) set instead of partial recursive function and recursively enumerable(r.e.) set.

Ова карактеризација наводи да је функција примитивно рекурзивна ако и само ако постоји природан бројм такав да се функција може израчунати помоћу Тјурингове машине која се увек зауставља са A(m, n) или са мање корака, где је н збир аргумената примитивне рекурзивне функције.
This characterization states that a function is primitive recursive if and only if there is a natural number m such that the function can be computed by a Turing machine that always halts within A(m, n) or fewer steps, where n is the sum of the arguments of the primitive recursive function.

Овај екстремни раст се може искористити да се покаже да f, која је очигледно израчунљива на машини са неограниченом меморијом као што је Тјурингова машина, и тиме израчунљива функција, расте брже од било које примитивно рекурзивне функције, што значи да није примитивно рекурзивна..
This extreme growth can be exploited to show that f, which is obviously computable on a machine with infinite memory such as a Turing machine and so is a computable function, grows faster than any primitive recursive function and is therefore not primitive recursive..

Ово набрајање користи дефиниције примитивних рекурзивних функција( које су у суштини само изрази са операцијама слагања и примитивне рекурзије као операције и основних примитивних рекурзивних функције као атома), а може се претпоставити да садржи сваку дефиницију једном, иако ће се иста функција десити много пута на листи( јер многе дефиниције дефинишу исту функцију; једноставно компонује се по функцији идентитета која генерише бесконачно много дефиниција једне примитивне рекурзивне функције).
This enumeration uses the definitions of the primitive recursive functions(which are essentially just expressions with the composition and primitive recursion operations as operators and the basic primitive recursive functions as atoms), and can be assumed to contain every definition once, even though a same function will occur many times on the list(since many definitions define the same function; indeed simply composing by the identity function generates infinitely many definitions of any one primitive recursive function).

Rekurzivne funkcije obično pozivaju same sebe.
Recursive functions call themselves.

Парис-Харингтонова теорема подразумева потпуну рекурзивну функцију која није примитивно рекурзивна..
The Paris- Harrington theorem involves a total recursive function that is not primitive recursive..

Примитивно рекурзивна функција једног аргумента( тј. унарне функције) може бити рачунски набројана.
The primitive recursive functions of one argument(i.e., unary functions) can be computably enumerated.