Examples of using Turingov stroj in Croatian and their translations into English
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Rekurzivno prebrojiv jezik jest formalni jezik za kojeg postoji Turingov stroj(ili neka druga izračunljiva funkcija)
A recursively enumerable language is a formal language for which there exists a Turing machine(or other computable function)Sam učiti o Turingov strojevi i Gödel 's teorem….
I learnt about Turing machines and Gödel 's theorem….NIST stranica o probabilističkim Turingovim strojevima.
Randomized algorithm NIST website on probabilistic Turing machines.Turingovi strojevi Ovo su najmoćniji komputacijski strojevi. .
The Risograph is the best known of these machines.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?
Is it possible to change the definition of a Turing machine so that a particular class of total P′′ Poput Turingovih strojeva, P′′ koristi beskonačnu traku simbola(bez slučajnog pristupa)
P′′ Like Turing machines, P′′ uses an infinite tape of symbols(without random access),Na opće iznenađenje, svi pokušaji izmjene definicije Turingovog stroja u svrhu stvaranja moćnijeg stroja nisu polučili uspjeh.
Attempts to amend the definition of a Turing machine to produce a more powerful za razliku od Turingovih strojeva, P′′ me treba održavati različito stanje, jer svu funkcionalnost"sličnu memoriji" može pružiti samo traka.
thus, unlike Turing machines, P′′ does not need to maintain a distinct state, because all“memory-like” functionality can be provided only by the tape.Jezik koji se sastoji od svih opisa Turingovih strojeva uparnih sa svim mogućim ulazima za koje Turingovi strojevi s vremenom staju nije rekurzivan.
The language consisting of all Turing machine descriptions paired with all possible input streams on which those Turingovi strojevi mogu odlučiti bilo koji kontekstno neovisni jezik,
Turing machines can decide any context-free language,ali i slabiji od Turingovog stroja.
less so than a Turing machine.Moć Turingovih strojeva[uredi- ypeди| uredi izvor] Turingovi strojevi mogu odlučiti bilo koji kontekstno neovisni jezik,
Power of 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 Church-Turing thesis conjectures that there is no effective model of computing that can compute more mathematical functions than a Turing machine.Ovi modeli konkurentnog računanja još uvijek ne implementiraju neku matematičku funkciju koja ne može biti implementirana Turingovim strojevima.
These models of concurrent computation still do not implement any mathematical functions that cannot be implemented by Turing machines.su semi-Thue sustavi izomorfni gramatikama neograničenih produkcija, za koje se zna da su izomorfne Turingovim strojevima.
isomorphic 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.
imagine that we construct a Turing machine M which is able to give a definite answer for all such Možemo nadalje opisati Turingove strojeve koji će s vremenom stati
We can further describe Turing machines that will eventually haltPoznato je da je lambda račun računski istovjetan po svojoj moći mnogim drugim mogućim modelima računanja(uključujući Turingove strojeve); to jest,
Lambda calculus is known to be computationally equivalent in power to many other plausible models for computation(including Turing machines); that is,Dva se krucijalna pitanja mogu postaviti o odnosu parcijalnih Turingovih strojeva i totalnih Turingovih strojeva:
Two questions can be asked about the relationship between partial Turing machines and total Takvi Turingovi strojevi mogu reći je li dani string u jeziku,
Such Turing machines could tell us that a given string is in the language,
