Sta znaci na Srpskom TURING MACHINES - prevod na Српском

• тјурингове машине
• тјурингових машина
• тјурингова машина
• тјуринговим машинама

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

Neural Turing Machines.
Неуронске Turing машине.

Turing machines simplify the statement of algorithms.
Тјурингове машине поједностављују изјаву алгоритама.

Additional details required to visualize or implement Turing machines.
Додатни детаљи потребни за визуелизацију или да се спроведу Тјурингове машине.

Limit Turing machines(another of Burgin's models).
Ограничавање Тјурингових машина( један од других Бургинових модела).

Rule 110 has been the basis for some of the smallest universal Turing machines.
Правило 110 је било основа за неке од најмањих универзалних тјурингових машина.

Traditional Turing machines cannot edit their previous outputs;
Традиционална Тјурингова машина не може да мења своје раније излазе;

Additional details required to visualize or implement Turing machines[edit].
Додатни детаљи потребни за визуелизацију или да се спроведу Тјурингове машине[ уреди].

Turing machines are frequently used as theoretical models for computing.
Тјурингове машине се често користе као теоретски модели у рачунарству.

There are a number of ways to explain why Turing machines are useful models of real computers.
Постоје неколико начина да се објасни зашто су Тјурингове машине користан модел реалних рачунара.

Turing machines describe algorithms independent of how much memory they use.
Тјурингове машине описују алгоритме независне од колико меморије користе.

Its proof that satisfiability is NP-complete contains technical details about Turing machines as they relate to the definition of NP.
Њен доказ да је САТ проблем НП-комплетан садржи техничке детаље о Тјуринговим машинама и како се оне односе на дефиницију НП.

Thus, Turing machines prove fundamental limitations on the power of mechanical computation.
Тако, Тјурингове машине доказују основна ограничења на снази механичког израчунавања.

That is, these problems can be solved by probabilistic Turing machines that use logarithmic space and never make errors.
То значи да ови проблеми могу да се реше помоћу пробабилистичких Тјурингових машина које користе логаритамски простор и никада не праве грешке.

Turing machines are not intended to model computers, but rather they are intended to model.
Тјурингове машине нису намењене за моделирање рачунара, већ су намењене за моделирање самог рачунања.

Descriptions of real machine programs using simpler abstract models are often much more complex than descriptions using Turing machines.
Описи програма праве машине који користе једноставнији апстрактни модели су често много сложенији него описи користећи Тјурингове машине.

Turing machines do not model such ongoing computation well(but can still model portions of it, such as individual procedures).
Тјурингове машине не моделирају такав ток обрачуна( али и даље могу да моделују делове, као што су поједине процедуре).

And in a proof-sketch added as an"Appendix" to his 1936- 37 paper, Turing showed that the classes of functions defined by λ-calculus and Turing machines coincided.
У доказу-скици додаје као" Прилог" у свој рад 1936-37, Тјуринг је показао да су се класе функција дефинисана λ-рачуном и Тјурингова машина поклопиле.

Read-only, right-moving Turing machines are equivalent to NFAs(as well as DFAs by conversion using the NDFA to DFA conversion algorithm).
Само чита, Десно покретајуће Тјурингове машине еквивалентне су НДКА( као ДКА конверзијом користећи алгоритам НДКА у ДКА конверзије).

This is the Cook-Levin theorem; its proof that satisfiability is NP-complete contains technical details about Turing machines as they relate to the definition of NP.
Ово је резултат Кук-Левинове теореме; њен доказ да је САТ проблем НП-комплетан садржи техничке детаље о Тјуринговим машинама и како се оне односе на дефиницију НП.

Arbitrary computer programs, or Turing machines, cannot in general be analyzed to see if they halt or not(the halting problem).
Произвољни компјутерски програми, или Тјурингове машине, не могу уопште да се анализирају да виде да ли се зауставља или не( на обуставу проблема).

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] да Тјурингова машина једнака ламбда рачуну у експресивности).

On the other hand, Turing machines are equivalent to machines that have an unlimited amount of storage space for their computations.
С друге стране, Тјурингове машине су еквивалентне машинама које имају неограничен износ складишног простора за своје прорачуне.

Also, since all functions in these languages are total, algorithms for recursively enumerable sets cannot be written in these languages, in contrast with Turing machines.
Такође, пошто су све функције у овим језицима коначне, алгоритми за рекурзивне сетове набрајања не могу бити написани на овим језицима, у супротности са Тјуринговим машинама.

A computational model going beyond Turing machines was introduced by Alan Turing in his 1938 PhD dissertation Systems of Logic Based on Ordinals.
Математички модел који иде преко Тјурингових машина је увео Алан Тјуринг 1938. у својој докторској дисертацији Системи логике базирани на ординалима.

Turing machines allow us to make statements about algorithms which will(theoretically) hold forever, regardless of advances in conventional computing machine architecture.
Тјурингове машине омогућавају нам да дајемо изјаве о алгоритама који ће( теоретски) заувек, без обзира на напредак у конвенционалној рачунарској архитектури машине..

Kantorovitz(2005),[4] was the first to show the most simple obvious representation of Turing Machines published academically which unifies Turing Machines with mathematical analysis and analog computers.
Канторовиц( 2005) Шведска је била прва да покаже најједноставније очигледне заступљености Тјурингових машина објављено академски који обједињује Тјурингове машине са математичким анализама и аналогним рачунарима.

But the fact is that neither Turing machines nor real machines need astronomical amounts of storage space in order to perform useful computation.
Али, чињеница је да ни Тјурингове машине, ни праве машине не требају астрономске износе складишног простора у циљу обављања корисног рачунања.

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)..
Класа израчунљивих функција се може дефинисати у многим еквивалентним моделима обрачуна, укључујући Тјурингова машина μ-рекурзивне функције Ламбда рачун Пост машине( Пост-Тјурингове машине и машине за ознаку).

But the fact is that neither Turing machines nor real machines need astronomical amounts of storage space in order to do most of the computations people actually want done.
Али, чињеница је да ни Тјурингове машине, ни праве машине не требају астрономске износе складишног простора у циљу обављања корисног рачунања.