Tag halting-problem - This is page 33 - GeneraCodice

Showing the function=? is impossible

https://www.generacodice.com/en/articolo/1110090/showing-the-function-is-impossible
  lambda-calculus  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Why does $A_\text{TM} \le_m \text{HALTING} \le_m \text{HALTING}^\varepsilon$?

https://www.generacodice.com/en/articolo/1108714/why-does-a-text-tm-le-m-text-halting-le-m-text-halting-varepsilon
  turing-machines  -  halting-problem  -  undecidability  -  reductions
cs.stackexchange cs.stackexchange

Determining the classification of languages

https://www.generacodice.com/en/articolo/1108250/determining-the-classification-of-languages
  turing-machines  -  halting-problem  -  formal-languages  -  undecidability
cs.stackexchange cs.stackexchange

What helpful solution does the Halting Problem give to computing?

https://www.generacodice.com/en/articolo/1102491/what-helpful-solution-does-the-halting-problem-give-to-computing
  terminology  -  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Showing that the set of TMs which visit the starting state twice on the empty input is undecidable

https://www.generacodice.com/en/articolo/1098004/showing-that-the-set-of-tms-which-visit-the-starting-state-twice-on-the-empty-input-is-undecidable
  turing-machines  -  halting-problem  -  undecidability  -  reductions
cs.stackexchange cs.stackexchange

Does a never-halting machine always loop?

https://www.generacodice.com/en/articolo/1097592/does-a-never-halting-machine-always-loop
  turing-machines  -  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Is there any concrete relation between Gödel's incompleteness theorem, the halting problem and universal Turing machines?

https://www.generacodice.com/en/articolo/1091824/is-there-any-concrete-relation-between-godel-s-incompleteness-theorem-the-halting-problem-and-universal-turing-machines
  logic  -  computability  -  halting-problem  -  incompleteness
cs.stackexchange cs.stackexchange

why there can't be a program that checks another program

https://www.generacodice.com/en/articolo/876601/why-there-can-t-be-a-program-that-checks-another-program
  turing-machines  -  turing-complete  -  halting-problem
StackOverflow StackOverflow

Is there a “good enough” solution for the halting problem?

https://www.generacodice.com/en/articolo/425703/is-there-a-good-enough-solution-for-the-halting-problem
  halting-problem
StackOverflow StackOverflow

Do all regular expressions halt?

https://www.generacodice.com/en/articolo/245993/do-all-regular-expressions-halt
  regex  -  halting-problem
StackOverflow StackOverflow
Results found: 342
scroll top