Примери коришћења
Turing machines
на Енглеском и њихови преводи на Српски
{-}
Colloquial
Ecclesiastic
Computer
Latin
Cyrillic
There are a number of ways to explain why Turing machines are useful models of real computers.
Постоје неколико начина да се објасни зашто су Тјурингове машине користан модел реалних рачунара.
Descriptions of real machine programs using simpler abstract models are often much more complex than descriptions using Turing machines.
Описи програма праве машине који користе једноставнији апстрактни модели су често много сложенији него описи користећи Тјурингове машине.
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) Шведска је била прва да покаже најједноставније очигледне заступљености Тјурингових машина објављено академски који обједињује Тјурингове машине са математичким анализама и аналогним рачунарима.
The thesis states that Turing machines indeed capture the informal notion of effective methods in logic
Теза наводи да Тјурингове машине заиста ухвате неформални појам ефикасних метода у логици
Other small universal Turing machines have since been found by Yurii Rogozhin
Друге мале универзалне Тјурингове машине су у међувремену пронађене од стране Јурија Рогожина
Neural Turing machines,[208] developed by Google DeepMind,
Неуронске Turing машине,[ 208] раразвијене су од Google Deep Mmd,
On the other hand, NSPACE describes the space complexity of non-deterministic Turing machines, which are not useful when trying to represent actual computers.
Са друге стране, NSPACE описује просторну сложеност недетерминистичке Тјурингове машине, која није од користи за стварне рачунаре.
Preliminary results demonstrate that neural Turing machines can infer simple algorithms such as copying,
Прелиминарни резултати показују да Неуронске Turing машине могу довести до закључка да једноставни аналогни
The thesis that states that Turing machines indeed capture the informal notion of effective method in logic
Теза наводи да Тјурингове машине заиста ухвате неформални појам ефикасних метода у логици
With this encoding of action tables as strings it becomes possible in principle for Turing machines to answer questions about the behaviour of other Turing machines..
Са овим кодирањем акционих табела и низова постаје могуће, у принципу, за Тјуринг машине да одговори на питања о понашању других Тјуринг машина..
The set of natural numbers that are indices for Turing machines that compute total functions is Π 2 0{\displaystyle\Pi_{2}^{0}}.
Скуп природних бројева који су индекси за Тјурингове машине које рачунају укупан број функција у Π 2 0{\ displaystyle\ Pi_{ 2}^{ 0}}.
Turing moreover showed that there exist universal Turing machines which can compute anything any other Turing machine can compute-that they are generalizable Turing machines.
Тјуринг је штавише показао да постоје универзалне Тјурингове машине које могу да израчунају било шта што која год друга Тјурингова машина може да израчуна и то су генерализоване Тјурингове машине.
Two questions can be asked about the relationship between partial Turing machines and total Turing machines.
Могуће је поставити два питања о односу између парцијалне и тоталне Тјурингове машине.
computational equivalence between Turing machines and μ-recursive functions.
рачунарске еквиваленције између Тјурингове машине и μ-рекурзивне функције.
Turing moreover showed that there exist universal Turing machines which can compute anything any other Turing machine can compute- that they are generalizable Turing machines.
Тјуринг је штавише показао да постоје универзалне Тјурингове машине које могу да израчунају било шта што која год друга Тјурингова машина може да израчуна и то су генерализоване Тјурингове машине.
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines..
Функције за израчунавање се користе како би разговарали о рачунању без позивања на било који конкретан модел обрачуна, као што су Тјурингове машине или машине регистра.
They are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines..
Функције за израчунавање се користе како би разговарали о рачунању без позивања на било који конкретан модел обрачуна, као што су Тјурингове машине или машине регистра.
Several independent efforts to give a formal characterization of effective calculability led to a variety of proposed definitions(general recursion, Turing machines, λ-calculus) that later were shown to be equivalent.
Неколико независних напора за формалну карактеризацију ефективне израчунљивости је довело до више различитих предлога дефиниција( општа рекурзија, Тјурингове машине, λ-калкулус) за које је касније показано да су еквивалентне; појам који ове дефиниције дају је познат као( рекурзивна) израчунљивост.
The existence of many noncomputable sets follows from the facts that there are only countably many Turing machines, and thus only countably many computable sets, but there are uncountably
Постојање многих неизрачунљивих скупова произилази из чињенице да постоје само израчунљиво много Тјурингових машина, и на тај начин ових много само израчунљивих скупова,
a parallel is drawn between Turing machines that do not terminate for certain inputs
паралелно је нацртан између Тјурингових машина које не завршавају за одређене улазе и неодређени резултат за
English
عربى
Български
বাংলা
Český
Dansk
Deutsch
Ελληνικά
Español
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Bahasa indonesia
Italiano
日本語
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt
中文