Tag halting-problem - Это страница 31 - GeneraCodice

How does this proof, that the halting problem is undecidable, work?

https://www.generacodice.com/ru/articolo/1366669/how-does-this-proof-that-the-halting-problem-is-undecidable-work
  halting-problem
StackOverflow StackOverflow

The use of System.currentTimeMillis() in loops in Java [closed]

https://www.generacodice.com/ru/articolo/1344812/the-use-of-system-currenttimemillis-in-loops-in-java-closed
  java  -  halting-problem
StackOverflow StackOverflow

Можно ли записан метод, если язык неразрешен?

https://www.generacodice.com/ru/articolo/1127493/можно-ли-записан-метод-если-язык-неразрешен
  halting-problem  -  formal-grammars  -  undecidability  -  turing-completeness  -  decision-problem
cs.stackexchange cs.stackexchange

Смущая эквивалентность $ phi (n, n) downarrow leftrightarrow text {halt} (n, n) $

https://www.generacodice.com/ru/articolo/1126989/смущая-эквивалентность-phi-n-n-downarrow-leftrightarrow-text-halt-n-n
  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Альтернативное доказательство неразрешимости $A_{TM}$

https://www.generacodice.com/ru/articolo/1126457/альтернативное-доказательство-неразрешимости-a-tm
  turing-machines  -  terminology  -  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Способен ли Oracle Computer на бесконечные петли?

https://www.generacodice.com/ru/articolo/1124721/способен-ли-oracle-computer-на-бесконечные-петли
  turing-machines  -  halting-problem  -  oracle-machines
cs.stackexchange cs.stackexchange

Может ли машина Тьюринга решить, останавливается ли программа петли для целочисленного входа 0

https://www.generacodice.com/ru/articolo/1124687/может-ли-машина-тьюринга-решить-останавливается-ли-программа-петли-для-целочисленного-входа-0
  loops  -  turing-machines  -  halting-problem
cs.stackexchange cs.stackexchange

Взаимосвязь между неразрешимыми проблемами и рекурсивно перечисляемыми языками

https://www.generacodice.com/ru/articolo/1124372/взаимосвязь-между-неразрешимыми-проблемами-и-рекурсивно-перечисляемыми-языками
  computability  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Остановка проблемы

https://www.generacodice.com/ru/articolo/1123924/остановка-проблемы
  turing-machines  -  halting-problem
cs.stackexchange cs.stackexchange

Есть ли всегда ограниченная, ограниченная модель вычислений, принимающая $ r $, но не $ re $?

https://www.generacodice.com/ru/articolo/1122791/есть-ли-всегда-ограниченная-ограниченная-модель-вычислений-принимающая-r-но-не-re
  turing-machines  -  computability  -  lambda-calculus  -  halting-problem  -  computation-models
cs.stackexchange cs.stackexchange
Результаты найдены: 342
scroll top