Sta Znaci TURING MACHINE na Hrvatskom - Hrvatski Prijevod

• turingov stroj
• turingovog stroja

Primjeri korištenja Turing machine na Engleski i njihovi prijevodi na Hrvatskom

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

Attempts to amend the definition of a Turing machine to produce a more powerful machine have surprisingly met with failure.
Na opće iznenađenje, svi pokušaji izmjene definicije Turingovog stroja u svrhu stvaranja moćnijeg stroja nisu polučili uspjeh.

Computationally, a context-sensitive language is equivalent with a linear bounded nondeterministic Turing machine.
Računski su kontekstno ovisni jezici istovjetni linearno ograničenom nedeterminističkom Turingovom stroju.

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

A linear bounded automaton is a device which is more powerful than a pushdown automaton but less so than a Turing machine.
Linearno ograničen automat je uređaj koji je moćniji od potisnog automata, ali i slabiji od Turingovog stroja.

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.
Na primjer, Turingov stroj može imati"proročište za zaustavljanje" koje odmah odgovara staje li ikada dani Turingov stroj za dani ulaz.

The Church-Turing thesis conjectures that there is no effective model of computing that can compute more mathematical functions than a Turing machine.
Church-Turingova teza konjekturira da ne postoji razuman model računanja koji može izračunati više matematičkih funkcija od Turingovog stroja.

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.
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.

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.
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.

The language consisting of all Turing machine descriptions paired with all possible input streams on which those Turing machines will eventually halt, is not recursive.
Jezik koji se sastoji od svih opisa Turingovih strojeva uparnih sa svim mogućim ulazima za koje Turingovi strojevi s vremenom staju nije rekurzivan.

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.
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.

Is it possible to change the definition of a Turing machine so that a particular class of total Turing machines, computing all the total computable functions, can be found?
Može li se definicija Turingovog stroja izmjeniti tako da se može pronaći istaknuta klasa Turingovih strojeva koja izračunava sve totalno izračunljive funkcije?

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.
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.

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.
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.

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.
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.

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.
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.

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..
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.

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.
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.

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.
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.

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.
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.

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.
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.

A language can be given as those strings generated by some formal grammar; those strings described or matched by a particular regular expression; those strings accepted by some automaton, such as a Turing machine or finite state automaton; those strings for which some decision procedure(an algorithm that asks a sequence of related YES/NO questions) produces the answer YES.
Nizovi znakova(stringovi) koje generira neka formalna gramatika(pogledati Chomskyevu hijerarhiju jezika); Nizovi znakova opisani regularnim izrazom; Nizovi znakova koje prihvaća neki automat, poput Turingovog stroja ili konačnog automata; Nizovi znakova odlučeni postupkom odluke(skupom odgovarajućih DA/NE pitanja) gdje je odgovor DA.

For example, adding an extra tape to the Turing machine, giving it a two-dimensional(or three- or any-dimensional) infinite surface to work with can all be simulated by a Turing machine with the basic one-dimensional tape.
Na primjer, dodavanje dodatne trake Turingovom stroju, i na taj mu način dajući dvodimenzionalnu(ili tri ili bilo koji drugi broj traka, odnosno dimenzija) površinu na kojoj može raditi može biti simulirano Turingovim strojem sa osnovnom, jednodimenzionalnom trakom.

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.
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.

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.
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.

To see that this language is not recursively enumerable, imagine that we construct a Turing machine M which is able to give a definite answer for all such Turing machines, but that it may run forever on any Turing machine that does eventually halt.
Da bi se vidjelo da ovaj jezik nije rekurzivno prebrojiv, neka se zamisli konstrukcija Turingovog stroja M{\displaystyle M} koji može dati definitivan odgovor za sve takve Turingove strojeve, ali i da može nikad ne stati za Turingov stroj koji sam nikad ne staje.

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.
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.

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.
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.

An LBA differs from a Turing machine in that while the tape is initially considered to have unbounded length, only a finite contiguous portion of the tape, whose length is a linear function of the length of the initial input, can be accessed by the read/write head; hence the name linear bounded automaton.
Razlikuje se od Turingovog stroja u tome što, iako se vrpca na početku smatra beskonačne duljine, samo konačni kontinuirani njezin dio čija je duljina linearno proporcionalna duljini početnog ulaznog niza može čitati/pisati glava za čitanje i pisanje.

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.
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.