TechQA.

Question

'try' can decide when a program halts

score 195 · Answer 1 · 2024-09-13 00:03:35

195 views Asked by Alon Gurny At 13 September 2024 at 00:03

score 354 · Answer 2 · 2024-09-09 02:42:02

How to prove that "Total" is not recursive (decidable)

score 7883 · Answer 3 · 2024-09-13 09:26:23

Determining whether a regex is a subset of another

score 173 · Answer 4 · 2024-09-13 00:08:15

Is Rice's Theorem equivalent to the Halting problem?

score 1541 · Answer 5 · 2024-09-13 00:08:14

The use of System.currentTimeMillis() in loops in Java

score 441 · Answer 6 · 2024-09-13 00:13:52

Making a function that will identify an infinite loop in existing code

score 567 · Answer 7 · 2024-09-13 00:14:42

Is finding pointers in C/C++ code statically equivalent to the Halting Ρroblem?

score 314 · Answer 8 · 2024-09-13 09:27:01

314 views Asked by AudioBubble At 13 September 2024 at 09:27

score 1392 · Answer 9 · 2024-09-13 09:27:41

1.3k views Asked by user833970 At 13 September 2024 at 09:27

score 109 · Answer 10 · 2024-09-13 16:11:20

Every np-complete problem reduces to the Halting problem. Is this true?

List Question