Resultats de la cerca

...coneguda com a ''decider'' o màquina de Turing total - és una [[màquina de Turing]] que s'atura per qualsevol entrada.<ref>{{Ref-llibre|cognom=Michael.|nom=S ...Tot i això, el [[problema de la parada]], que és decidir si una màquina de Turing arbitrària s'atura per una entrada donada, és un problema indecidible. ...

Una '''màquina de Turing multipista''' és una [[màquina de Turing]] que té múltiples cintes. Cada cinta té el seu propi capçal per llegir o e ...de complexitat]] es veuen afectades per l'increment en el nombre de cintes de la màquina.<ref>{{Ref-llibre|cognom=C.|nom=Martin, John|títol=Introduction ...

...Ref-publicació|cognom=Deutsch|nom=David|article=Quantum theory, the Church–Turing principle and the universal quantum computer|publicació=Proc. R. Soc. Lond. No sempre es fan servir màquines de Turing quàntiques per modelar computadors quàntics, molts cops es fan servir [[cir ...

...espai ''O''(''f(n)'') i temps il·limitat. Es la contrapartida determinista de la classe [[NSPACE]].<ref>{{Ref-llibre|cognom=Michael.|nom=Sipser,|títol=In Diverses classe de complexitat es defineixen en funció de DSPACE: ...

...ai ''O''(''f(n)'') i temps il·limitat. Es la contrapartida no determinista de la classe [[DSPACE (Complexitat)|DSPACE]].<ref>{{Ref-llibre|cognom=Michael. Diverses classe de complexitat es defineixen en funció de DSPACE: ...

...[[Funció recursiva|funcions recursives]], [[Màquina de Turing|màquines de Turing]] o el [[càlcul lambda]].<ref>{{Ref-llibre|cognom=Immerman|nom=Neil|títol=C == Definició informal usant màquines de Turing == ...

...ap restricció a part que la part esquerra no estigui buida. Aquesta classe de gramàtiques poden generar [[Llenguatge enumerable recursivament|llenguatges ...special d'inici. Com el seu nom indica, no hi ha restriccions a les regles de producció d'aquestes gramàtiques.<ref name=:1/> ...

...bounded automaton ''), o ALA és un [[autòmat]] similar a una [[màquina de Turing]] [[Sistema determinista|determinista]]. ...s van encarregar d'estudiar la potència de les màquines com reconeixedores de llenguatges. ...

...no determinista''' (MTN) és una [[Màquina de Turing]] on el seu mecanisme de control treballa com un [[autòmat finit no determinista]]. ...Per exemple, una ''X'' en la cinta en l'estat 3 pot fer que la Màquina de Turing escrigui una ''Y'' a la cinta, mogui el capçal una posició cap a la dret i ...

...roblemes que [[Problema indecidible|no son decidibles]], com el [[problema de la parada]].<ref>{{Ref-llibre|cognom=Sanjeev.|nom=Arora,|títol=Computationa ...essàriament computable perquè l'oracle no és necessàriament una màquina de Turing o un programa d'ordinador. L'oracle simplement és una caixa negra que pot p ...

...autor=Martin Davis|títol=The universal computer : the road from Leibniz to Turing|url=https://www.worldcat.org/oclc/44067056|data=2000|editorial=Norton|lloc= En termes de [[complexitat computacional]], una màquina universal de Turing amb multicinta és només un factor logarítmic més lenta que la màquina que s ...

...s igual a la que considera [[Màquina de Turing no determinista|màquines de Turing no deterministes]]. Quan es restringeix ''p''(''n'') a una funció lineal, l En termes de [[DSPACE (Complexitat)|DSPACE]] es té ...

...r resolts amb una [[màquina de Turing no determinista]] en espai [[Notació de Landau|O]] (2^''p''(''n'')), on ''p''(''n'') és una [[Funció poli En termes de [[NTIME (Complexitat)|NTIME]] es té ...

...consisteixen en les funcions que poden ser calculades per una [[màquina de Turing]]. ...ió arbitrària '' f '' dels naturals als naturals, per mitjà de màquines de Turing esteses per un oracle per '' A '' o '' f ''. Aquestes funcions pot ser anom ...

...ats perquè es correspon amb un recurs real força important com és el temps de còmput.<ref>{{Ref-llibre|títol=Computational complexity theory|url=https:// ...la classe de complexitat DTIME(f(n)). No hi ha restricció en la quantitat de memòria utilitzada, però pot haver-hi restriccions en d'altres recursos. ...

...de còmput més general conegut com són les [[màquina de Turing|màquines de Turing]]. Les funcions recursives estan relacionades amb les [[recursió primitiva| ...ressió, per exemple, el [[càlcul lambda]] i les [[cadena de Markov|cadenes de Markov]]. ...

...?|url=https://cs.stackexchange.com/questions/54576/what-does-it-mean-to-be-turing-reducible|consulta=2024-12-11|llengua=en}}</ref> ...uring-Reductions-and-Undecidability.pdf|títol=Theory of Computation Notes: Turing Reductions and ...

...utacions que generalitzen les regles usades en la definició de les classes de complexitat NP i co-NP.<ref name="doi">{{Ref-publicació|cognom=Chandra|nom= ...ap a un estat que accepta, llavors la computació s'accepta. Una màquina de Turing alternant va alternant entre els dos modes. ...

...polinòmic de portes [[Porta AND|AND]], [[Porta OR|OR]] i [[Porta NOT|NOT]] de fan-in il·limitat.<ref name="worldcat.org">{{Ref-llibre|cognom=Sanjeev.|nom ...es de manera alternativa i a les [[Màquina de Turing alternant|màquines de Turing alternants]].<ref>{{Ref-llibre|cognom=J.|nom=ATALLAH, MIKHAIL|títol=ALGORIT ...

...ament amb [[Teorema de Bayes|la regla de Bayes]] per obtenir probabilitats de predicció per a les sortides futures d'un algorisme.<ref>{{Ref-web|títol=Wh ...g universal]]). El prior és universal en el sentit de la computabilitat de Turing, és a dir, cap cadena té probabilitat zero. No és computable, però es pot a ...