Examples of using Model of computation in English and their translations into Serbian
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
MacLennan[1] considers continuous spatial automata as a model of computation.
МекЛенан сматра континуирано просторни аутомат као модел обрачуна.Thus if this new model of computation consisted of a sequence M 1, M 2,….
Стога ако би се овај нови модел рачунања састојао од низаM 1,M 2,….A quantum Turing machine can efficiently simulate any realistic model of computation.".
Квантна Тјурингова машина може ефикасно симулирати било који реалан модел израчунљивости.".Any definition, however,must make reference to some specific model of computation but all valid definitions yield the same class of functions.
Било која дефиниција, међутим,мора се позивати на одређен модел обрачуна, али све важеће дефиниције дају исте класе функција.It states:"A probabilistic Turing machine can efficiently simulate any realistic model of computation.".
У њој се наводи:" А пробабилистичка Тјурингова машина може ефикасно симулирати било који реалан модел израчунавања.".Lambda calculus is a conceptually simple universal model of computation(Turing showed in 1937[1] that Turing machines equated the lambda calculus in expressiveness).
Ламбда рачун је концептуално једноставан универзални модел рачунања( Тјуринг је показао 1937. године[ 1] да Тјурингова машина једнака ламбда рачуну у експресивности).Consequently, the quantum complexity-theoretic Church-Turing thesis states:"A quantum Turing machine can efficiently simulate any realistic model of computation.".
Сходно томе, Квантно Сложено-теоријска Черч-Тјурингова теза гласи:" Квантна Тјурингова машина може ефикасно симулирати било који реалан модел израчунљивости.".They are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Функције за израчунавање се користе како би разговарали о рачунању без позивања на било који конкретан модел обрачуна, као што су Тјурингове машине или машине регистра.Given a model of computation and an algorithm A that halts on each input x, the mapping tA:{0, 1}*→N is called the time complexity of A if, for every x, A halts after exactly tA(x) steps.
За дати модел рачунања и алгоритам A који застаје на сваки унос x, мапирање tA:{ 0, 1}*→N се зове временска комплексност од A ако, за свако x, A застаје након тачно tA( x) корака.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.
Друго питање је у суштини питање дали постоји други разуман модел израчунавања који израчунава само тоталне функције и израчунава све тотално израчунљиве функције.Exact(not asymptotic) measures of efficiency can sometimes be computed but they usually require certain assumptions concerning the particular implementation of the algorithm,called model of computation.
Тачна, а не асимпотска мера ефикасности може понекад бити израчуната, али обично се захтевају израчунавања укључујући одређену имплементацију алгоритма,која се зове модел обрачуна.Another reason for turning to C++, which Stepanov recognized early on,was the C/C++ model of computation which allows very flexible access to storage via pointers is crucial to achieving generality without losing efficiency.
Други разлог за окретање С++-у, који је Степанов одмах препознао,био је С/ С++ модел рачунања који дозвољава веома флексибилан приступ коришћења показивача, који је кључан за постизање општости без губитка ефикасности.This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will execute on a certain platform,hence creating a model of computation.
То може да се уради било описивањем везе између улаза и излаза програма, било објашњењем тога како ће програм бити извршен на одређеној платформи,то јест креирањем модела израчунавања.The model of computation that Turing called his"universal machine"-"U" for short-is considered by some(cf. Davis(2000)) to have been the fundamental theoretical breakthrough that led to the notion of the stored-program computer.
Модел рачунања који је Тјуринг назвао својом" универзалном машином"-" У" за кратко сматрана од стране неких( Дејвис( 2000)) да су основни теоријски пробој који је довео до појма складиштеног- рачунарског програма.An example of this is binary search, an algorithm that can be shown to perform more quickly when using the RASP model of computation rather than the Turing machine model. .
Пример за то је бинарна претрага, алгоритам који може да се покаже да обавља брже када се користи РАСП модел израчунавања него The model of computation: The most common model of computation is the deterministic Turing machine, but many complexity classes are based on non-deterministic Turing machines, Boolean circuits, quantum Turing machines, monotone circuits, etc.
Модел рачунања: Најчешћи модел рачунања је детерминистичка Тјурингова машина, али многе класе сложености су засноване на недетерминистичким Тјуринговим машинама, логички склоп, квантна Тјурингова машина, монотон склоп, итд.Computer scientists study the Turing machine because it is simple to formulate, can be analyzed and used to prove results, andbecause it represents what many consider the most powerful possible“reasonable” model of computation.
Информатичари проучавају Турингову машину јер је она једноставна за формулацију и може бити анализирана и коришћена у доказивању резултата јерпредставља оно што многи сматрају најмоћнијим могућим„ разумним“ моделом рачунања.Thus if this new model of computation consisted of a sequence M 1, M 2,…{\displaystyle M_{1}, M_{2},\ldots} of machines, there would be a recursively enumerable sequence T 1,… T 2,…{\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.
Стога ако би се овај нови модел рачунања састојао од низаM 1,M 2,…{\ displaystyleM_{ 1},M_{ 2},\ ldots} машина, постојало би рекурзивно пребројив низ T 1,… T 2,…{\ displaystyle T_{ 1},\ ldots T_{ 2},\ ldots} Тјурингових машина које рачунају тоталне функције тако да је свака тотално израчунљива функција израчунљива једном од машина Ti.Different models of computation have the ability to do different tasks.
Различити модели рачунања имају способност обављања различитих задатака.The class of computable functions can be defined in many equivalent models of computation, including.
Класа израчунљивих функција се може дефинисати у многим еквивалентним моделима обрачуна, укључујући.The class of computable functions can be defined in many equivalent models of computation, including Turing machines μ-recursive functions Lambda calculus Post machines(Post-Turing machines and tag machines).
Класа израчунљивих функција се може дефинисати у многим еквивалентним моделима обрачуна, укључујући Тјурингова машина μ-рекурзивне функције Ламбда рачун Пост машине( Пост-Тјурингове машине и машине за ознаку).Many equivalent models of computation are known, and they all give the same definition of computable function(or a weaker version, in some instances).
Многи еквивалентни модели рачунања су познати, а сви они дају исту дефиницију израчунљиве функције( или слабију верзију, у неким случајевима).As with the concept of a computable function relative computability can be given equivalent definitions in many different models of computation.
Као и код концепта за израчунавање функције релативне израчунљивости може дати једнаке дефиниције у многим различитим моделима обрачуна.Just as software engineering(as a process) is defined by differing methodologies,so the programming languages(as models of computation) are defined by differing paradigms.
Као што је инжењеринг софтвера( као процес) дефинисан разликовањем методологија, тако дасу програмски језици( као модели рачунања) дефинисани разликовањем парадигми.The following facts are often taken as evidence for the thesis:Many equivalent models of computation are known, and they all give the same definition of computable function(or a weaker version, in some instances).
Следеће чињенице се често узимају као доказ за тезу:Многи еквивалентни модели рачунања су познати, а сви они дају исту дефиницију израчунљиве функције( или слабију верзију, у неким случајевима).
