Question

'try' can decide when a program halts

score 184 · Answer 1 · 2015-06-20 21:24:32

184

Views

'try' can decide when a program halts

Published on 20 June 2015 at 21:24

score 343 · Answer 2 · 2013-12-03 03:53:04

343

Views

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

Published on 03 December 2013 at 03:53

score 7.8k · Answer 3 · 2013-09-10 21:27:06

7.8k

Views

Determining whether a regex is a subset of another

Published on 10 September 2013 at 21:27

score 164 · Answer 4 · 2020-10-15 12:23:55

164

Views

Is Rice's Theorem equivalent to the Halting problem?

Published on 15 October 2020 at 12:23

score 1.5k · Answer 5 · 2012-01-14 07:23:22

1.5k

Views

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

Published on 14 January 2012 at 07:23

score 432 · Answer 6 · 2013-12-23 00:49:19

432

Views

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

Published on 23 December 2013 at 00:49

score 557 · Answer 7 · 2013-12-30 22:53:35

557

Views

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

Published on 30 December 2013 at 22:53

score 303 · Answer 8 · 2020-12-08 22:57:48

303

Views

Discrete Logarithm in Prolog

Published on 08 December 2020 at 22:57

score 1.3k · Answer 9 · 2013-08-12 03:02:05

1.3k

Views

Do agda programs necessarily terminate?

Published on 12 August 2013 at 03:02

score 100 · Answer 10 · 2020-07-29 18:42:06

100

Views

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

Published on 29 July 2020 at 18:42

score 1.4k · Answer 11 · 2022-03-25 21:34:54

1.4k

Views

The difference between halting and accepting in a Turing machine

Published on 25 March 2022 at 21:34

score 1.3k · Answer 12 · 2017-05-21 06:31:15

1.3k

Views

Proving Equivalence of TM and DFA

Published on 21 May 2017 at 06:31

score 19.1k · Answer 13 · 2011-12-06 01:59:28

19.1k

Views

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

Published on 06 December 2011 at 01:59

score 601 · Answer 14 · 2015-05-30 14:15:49

601

Views

HaltingProblem in Agda?

Published on 30 May 2015 at 14:15

score 42 · Answer 15 · 2015-05-29 08:44:04

42

Views

Can halting function be created without referring/assembling/generation of the solver in the input?

Published on 29 May 2015 at 08:44

score 179 · Answer 16 · 2015-06-04 21:13:55

179

Views

Recognition of Undecidable Propositions(infinite loop)

Published on 04 June 2015 at 21:13

score 336 · Answer 17 · 2014-08-09 06:59:29

336

Views

A function that can catch infinite recursion in python?

Published on 09 August 2014 at 06:59

score 248 · Answer 18 · 2017-08-03 17:11:17

248

Views

Understanding the meaning of CheckHalt(X,X) in the proof of a theorem in Sussana Epp's Discrete Mathematics with applications

Published on 03 August 2017 at 17:11

score 112 · Answer 19 · 2017-09-19 17:12:17

112

Views

A slightly different version of the halting problemo

Published on 19 September 2017 at 17:12

score 4k · Answer 20 · 2010-03-18 00:00:45

4k

Views

Is there a "good enough" solution for the halting problem?

Published on 18 March 2010 at 00:00

List Question

'try' can decide when a program halts

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

Determining whether a regex is a subset of another

Is Rice's Theorem equivalent to the Halting problem?

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

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

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

Discrete Logarithm in Prolog

Do agda programs necessarily terminate?

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

The difference between halting and accepting in a Turing machine

Proving Equivalence of TM and DFA

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

HaltingProblem in Agda?

Can halting function be created without referring/assembling/generation of the solver in the input?

Recognition of Undecidable Propositions(infinite loop)

A function that can catch infinite recursion in python?

Understanding the meaning of CheckHalt(X,X) in the proof of a theorem in Sussana Epp's Discrete Mathematics with applications

A slightly different version of the halting problemo

Is there a "good enough" solution for the halting problem?

Trending Questions

Popular # Hahtags

Popular Questions