Tag church-turing-thesis - Esta é a página 2 - GeneraCodice

Algumas perguntas sobre a computabilidade das máquinas Turing

https://www.generacodice.com/pt/articolo/2443418/algumas-perguntas-sobre-a-computabilidade-das-maquinas-turing
  turing-machines  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Can current quantum computers decide languages that Turing Machines cannot?

https://www.generacodice.com/pt/articolo/1809438/can-current-quantum-computers-decide-languages-that-turing-machines-cannot
  turing-machines  -  quantum-computing  -  undecidability  -  reductions  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Turing machine where the next step is determined by the state and the symbols up to the read/write head

https://www.generacodice.com/pt/articolo/1615292/turing-machine-where-the-next-step-is-determined-by-the-state-and-the-symbols-up-to-the-read-write-head
  complexity-theory  -  turing-machines  -  church-turing-thesis
cs.stackexchange cs.stackexchange

How to come up with a language that is recognizable but not co-recognizable?

https://www.generacodice.com/pt/articolo/1613406/how-to-come-up-with-a-language-that-is-recognizable-but-not-co-recognizable
  turing-machines  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Does this article imply that Turing-Computability is not the same as “effectively computable”?

https://www.generacodice.com/pt/articolo/1612429/does-this-article-imply-that-turing-computability-is-not-the-same-as-effectively-computable
  turing-machines  -  quantum-computing  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Is turing completeness related to recursive enumerable languages?

https://www.generacodice.com/pt/articolo/1610927/is-turing-completeness-related-to-recursive-enumerable-languages
  turing-machines  -  turing-completeness  -  church-turing-thesis
cs.stackexchange cs.stackexchange

The Church-Turing Thesis (Hello World tester) contradiction and randomized algorithms

https://www.generacodice.com/pt/articolo/1608028/the-church-turing-thesis-hello-world-tester-contradiction-and-randomized-algorithms
  complexity-theory  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Is a Turing machine too strong of a model to model physical computation?

https://www.generacodice.com/pt/articolo/1604754/is-a-turing-machine-too-strong-of-a-model-to-model-physical-computation
  turing-machines  -  computability  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Do any programming languages use general recursive functions as their basis?

https://www.generacodice.com/pt/articolo/1601301/do-any-programming-languages-use-general-recursive-functions-as-their-basis
  programming-languages  -  church-turing-thesis  -  mathematical-foundations
cs.stackexchange cs.stackexchange

It is possible to write any program (i.e. Turing complete) with just one single expression?

https://www.generacodice.com/pt/articolo/1594122/it-is-possible-to-write-any-program-i-e-turing-complete-with-just-one-single-expression
  turing-machines  -  lambda-calculus  -  automata  -  formal-languages  -  church-turing-thesis
cs.stackexchange cs.stackexchange
Resultados encontrados: 67
scroll top