What is the translation of " TURINGOV STROJ " in English?

• turing machine

Examples of using Turingov stroj in Croatian and their translations into English

Turingov stroj u Parizu u svibnju 2016.
A Turing Machine in Paris in May 2016.

Najpoznatiji je primjer Turingov stroj.
The best-known example is the Turing machine.

Turingov stroj uvijek staje- poznat i pod nazivom odlučitelj- i kažemo da odlučuje rekurzivni jezik.
The Turing machine always halts: it is known as a decider and is said to decide the recursive language.

Ako odgovaraju, tada Turingov stroj prihvaća riječ.
If they match, then the Turing machine accepts the word.

Generiraju točno sve jezike koje može prepoznati Turingov stroj.
They generate exactly all languages that can be recognized by a Turing machine.

Iako svaki od njih može riješiti problem zaustavljanja za Turingov stroj, oni ne mogu riješiti svoje vlastite inačice problema zaustavljanja.
While each of them can solve the halting problem for a Turing machine, they cannot solve their own version of the halting problem.

Na primjer, Turingov stroj može imati"proročište za zaustavljanje" koje odmah odgovara staje li ikada dani Turingov stroj za dani ulaz.
For example, the Turing machine may have a"halting oracle" which answers immediately whether a given Turing machine will ever halt on a given input.

Kontrastirajmo ovo sa rekurzivnim jezicima, koji zahtijevaju da Turingov stroj stane u svim slučajevima.
Contrast this to recursive languages, which require that the Turing machine halts in all cases.

Ili može li deterministički Turingov stroj učinkovito simulirati sve probabilističke Turingove strojeve sa najviše polinomnim usporenjem?
Or can deterministic Turing machines efficiently simulate all probabilistic Turing machines with at most a polynomial slowdown?

Može se pokazati(vidi glavni članak: Problem zaustavljanja) da nije moguće konstruirati Turingov stroj koji općenito može odgovoriti na ovo pitanje.
It can be shown(See main article: Halting problem) that it is not possible to construct a Turing machine that can answer this question in all cases.

Turingov stroj potom radi sljedeće: Započinje rad na krajnje lijevom kraju druge trake i potom ponavljajuće odabire pomak udesno ili odabire trenutnu poziciju na traci.
The Turing machine then does the following: Start at the left of the second tape and repeatedly choose to move right or select the current position on the tape.

Može se demonstrirati redukcija na ovaj problem iz dobro poznatog neodlučivog problema određivanja prihvaća li Turingov stroj neki pojedinačni ulaz.
A reduction can be demonstrated to this problem from the well-known undecidable problem of determining whether a Turing machine accepts a particular input the halting problem.

Rekurzivno prebrojiv jezik je formalni jezik za koji postoji Turingov stroj(ili neka druga izračunljiva funkcija) koji može prebrojiti sve valjane nizove znakova jezika.
A recursively enumerable language is a formal language for which there exists a Turing machine(or other computable function) which will enumerate all valid strings of the language.

Ustvari, posljedica Church-Turingove teze jest da ne postoji razumni model računanja koji može odlučiti jezike koje ne može odlučiti Turingov stroj.
In fact, a consequence of the Church-Turing thesis is that there is no reasonable model of computation which can decide languages that cannot be decided by a Turing machine.

Ovo je kao da kažemo da za svaku gramatiku neograničenih produkcija G{\displaystyle G} postoji neki Turingov stroj koji prepoznaje L( G){\displaystyle L(G)}, a vrijedi i obrat ove tvrdnje.
This is the same as saying that for every unrestricted grammar G{\displaystyle G} there exists some Turing machine capable of recognizing L( G){\displaystyle L(G)} and vice versa.

Turingov stroj Također sličan konačnom automatu, osim što se ulaz nalazi na"traci" izvršavanja koju Turingov stroj može čitati, na koju može pisati, te pomicati svoju"glavu" za čitanje i pisanje naprijed i nazad.
Turing machine Also similar to the finite state machine, except that the input is provided on an execution"tape", which the Turing machine can read from, write to, or move back and forth past its read/write"head.

Ovdje se ne postavlja jednostavno pitanje o prostom broju ili palindromu, već općenitije- pita se Turingov stroj da odgovori na pitanje o drugom Turingovom stroju.
Here we are asking not a simple question about a prime number or a palindrome, but we are instead turning the tables and asking a Turing machine to answer a question about another Turing machine..

Rekurzivni jezik je formalni jezik za kojeg postoji Turingov stroj koji će, za svaki ulazni niz znakova(simbola) stati i prihvatiti niz ako je on element jezika, a inače ga neće prihvatiti.
A recursive language is a formal language for which there exists a Turing machine that, when presented with any finite input string, halts and accept if the string is in the language, and halts and rejects otherwise.

U teoriji izračunljivosti, stroj koji uvijek staje- poznat i kao odlučitelj(Sipser, 1996) ili totalni Turingov stroj(Kozen, 1997)- je Turingov stroj koji staje za svaki ulaz.
In computability theory, a machine that always halts, also called a decider or a total Turing machine, is a Turing machine that eventually halts for every input.

Treća cjelina predstavlja uvod u probleme filozofije logike: Turingov stroj, Markovljev algoritam i primjena logike u lingvistici i kognitivnoj znanosti, Russell- Whiteheadov pokušaj redukcije te Gödelov teorem neodređenosti.
Third part represents introduction to philosophy of logic. Turing machine, Markov algoritm and application of logic in linguistics and cognitive science, Russel-Whitehead 's reduction attempt, and Gödel 's uncertainty theorem.

Problem zaustavljanja je jedan od najvažnijih rezultata u teoriji izračunljivosti, jer predstavlja primjer konkretnog problema kojeg je i lako formulirati i nemoguće riješiti koristeći Turingov stroj.
The statement that the halting problem cannot be solved by a Turing machine is one of the most important results in computability theory, as it is an example of a concrete problem that is both easy to formulate and impossible to solve using a Turing machine.

Posebice, parcijalna funkcija f definirana tako da f(n) m ako i samo ako Turingov stroj sa indeksom n koji staje na ulazu 0 sa izlazom m nema proširenja na totalno izračunljivu funkciju.
In particular, the partial function f defined so that f(n) m if and only if the Turing machine with index n halts on input 0 with output m has no extension to a total computable function.

Iznad rekurzivnih jezika[uredi- ypeди| uredi izvor] Problem je zaustavljanja lako riješiti ukoliko se dopusti Turingovom stroju koji odlučuje da se zauvijek izvršava kad mu je dan ulaz koji predstavljanja Turingov stroj koji sam ne staje.
The halting problem is easy to solve, however, if we allow that the Turing machine that decides it may run forever when given input which is a representation of a Turing machine that does not itself halt.

Budući da Turingovi strojevi imaju mogućnost"spremanja" svoje ulazne trake, moguće je za Turingov stroj da radi dugo vremena na način koji nije moguć u ostalim, prethodno opisanim modelima računanja.
Because Turing machines have the ability to"back up" in their input tape, it is possible for a Turing machine to run for a long time in a way that is not possible with the other computation models previously described.

Računalni znanstvenici proučavaju Turingov stroj jer ga je jednostavno formulirati, jer može biti analiziran i korišten u dokazivanju rezultata, i jer predstavlja ono što mnogi smatraju najmoćnijim mogućim"razumnim" modelom računanja.
Computer scientists study the Turing machine because it is simple to formulate, can be analyzed and used to prove results, and because it represents what many consider the most powerful possible"reasonable" model of computation see Church-Turing thesis.

Premda nešto manje moćne od gramatike neograničenih produkcija(tip 0), koje mogu izraziti bilo koji jezik koji prihvaća Turingov stroj, ova dva ograničena tipa gramatika su najčešće korištena jer se parser za njih može učinkovito implementirati.
Although much less powerful than unrestricted grammars(Type 0), which can in fact express any language that can be accepted by a Turing machine, these two restricted types of grammars are most often used because parsers for them can be efficiently implemented.

Izgradimo Turingov stroj M, koristeći Kleeneov rekurzijski teorem, koji za ulaz 0 simulira stroj sa indeksom e pokrenut na indeksu nM za M stoga stroj M može proizvesti sam svoj indeks; ovo je svrha rekurzijskog teorema.
Build a Turing machine M, using Kleene's recursion theorem, which on input 0 simulates the machine with index e running on an index nM for M thus the machine M can produce an index of itself; this is the role of the recursion theorem.

On i Turing su potom pokazali da su lambda račun i Turingov stroj korišten u Turingovom problemu zaustavljanja ustvari istovjetni u sposobnostima, te naknadno demonstrirali raznolikost alternativnih"mehaničkih procesa za računanje.".
Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative"mechanical processes for computation.".

Lako se vidi da će ovaj Turingov stroj generirati sve i samo rečenične oblike gramatike G{\displaystyle G} na drugoj traci nakon što je posljednji korak izvršen proizvoljan broj puta, i time jezik L( G){\displaystyle L(G)} mora biti rekurzivno prebrojiv.
It is easy to see that this Turing machine will generate all and only the sentential forms of G{\displaystyle G} on its second tape after the last step is executed an arbitrary number of times, thus the language L( G){\displaystyle L(G)} must be recursively enumerable.

Tad se može konstruirati drugi Turingov stroj, M′{\displaystyle M'}, koji može simulirati djelovanje ovog stroja, te također i izravno simulirati izvršavanje stroja danog kao ulaz, na način da preklapa izvršavanje ovih dvaju prgrama.
We can then construct another Turing machine M′{\displaystyle M'} that simulates the operation of this machine, along with simulating directly the execution of the machine given in the input as well, by interleaving the execution of the two programs.