Re: Every D(D) simulated by H presents non-halting behavior to H ###

Liste des GroupesRevenir à theory 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : NoOne (at) *nospam* NoWhere.com (olcott)
Groupes : comp.theory
Date : 22. May 2024, 05:55:57
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v2jqcd$1o1ne$2@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 5/21/2024 10:13 PM, Keith Thompson wrote:
Richard Damon <richard@damon-family.org> writes:
[snip]
 Richard, will you *please* drop comp.lang.c from your posts on
this thread, at least for posts with no C content?  olcott is not
persuadable, but perhaps you are.
 
I have stayed focused on the C and people kept totally
ignoring the C so I had to explain what the C is important.
D correctly simulated by H cannot possibly reach its own final
state at line 06 and halt because D correctly simulated by
H remains stuck in recursive simulation.
This provides the basis for simulating termination analyzer H to
correctly determine that the halting problem's counter-example
input D cannot possibly halt.

Date Sujet#  Auteur
14 May 24 * Re: Every D(D) simulated by H presents non-halting behavior to H ###216Mikko
14 May 24 `* Re: Every D(D) simulated by H presents non-halting behavior to H ###215olcott
15 May 24  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
15 May 24  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###213Mikko
15 May 24   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###212olcott
15 May 24    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3joes
15 May 24    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2olcott
16 May 24    i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
16 May 24    +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
16 May 24    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###207Mikko
16 May 24     `* Re: Every D(D) simulated by H presents non-halting behavior to H ###206olcott
16 May 24      +* Re: Every D(D) simulated by H presents non-halting behavior to H ###24Alan Mackenzie
16 May 24      i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###23olcott
17 May 24      i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Mikko
17 May 24      i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###21Alan Mackenzie
18 May 24      i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###19olcott
18 May 24      i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###18André G. Isaak
18 May 24      i  i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
18 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###12olcott
19 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###11André G. Isaak
19 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###10olcott
19 May 24      i  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
19 May 24      i  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7olcott
19 May 24      i  i i  i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24      i  i i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5immibis
19 May 24      i  i i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4olcott
19 May 24      i  i i  i   +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
20 May 24      i  i i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2immibis
20 May 24      i  i i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Mikko
19 May 24      i  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4olcott
18 May 24      i  i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Fred. Zwarts
18 May 24      i  i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
18 May 24      i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
17 May 24      +* Re: Every D(D) simulated by H presents non-halting behavior to H ###176Mikko
17 May 24      i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###175olcott
18 May 24      i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###173Mikko
18 May 24      i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###65olcott
18 May 24      i  i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24      i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###63DFS
19 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
20 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Chris M. Thomasson
20 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6Keith Thompson
20 May 24      i  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
20 May 24      i  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
21 May 24      i  i i  i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
20 May 24      i  i i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
20 May 24      i  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kenny McCormack
19 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###52olcott
19 May 24      i  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
19 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###50Richard Damon
19 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###49Chris M. Thomasson
20 May 24      i  i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###48immibis
20 May 24      i  i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###47David Brown
20 May 24      i  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###4Kenny McCormack
20 May 24      i  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Alan Mackenzie
20 May 24      i  i i    i `* Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24      i  i i    i  `- Re: Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1David Brown
20 May 24      i  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Chris M. Thomasson
21 May 24      i  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7David Brown
21 May 24      i  i i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6James Kuyper
21 May 24      i  i i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5David Brown
21 May 24      i  i i    i   +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
22 May 24      i  i i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
24 May 24      i  i i    i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###34immibis
21 May 24      i  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24      i  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24      i  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24      i  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24      i  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Keith Thompson
21 May 24      i  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
21 May 24      i  i i     i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
21 May 24      i  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###16David Brown
21 May 24      i  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###15James Kuyper
21 May 24      i  i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###14immibis
21 May 24      i  i i     i  +- Thought control??? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Richard Damon
22 May 24      i  i i     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
22 May 24      i  i i     i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3olcott
22 May 24      i  i i     i  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
22 May 24      i  i i     i  i i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
22 May 24      i  i i     i  i `* Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)3Kenny McCormack
22 May 24      i  i i     i  i  `* Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2immibis
22 May 24      i  i i     i  i   `- Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4James Kuyper
22 May 24      i  i i     i   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
22 May 24      i  i i     i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kaz Kylheku
22 May 24      i  i i     i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
21 May 24      i  i i     `* Re: Every D(D) simulated by H presents non-halting behavior to H ###10Chris M. Thomasson
21 May 24      i  i i      +* Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24      i  i i      i`- Re: Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Chris M. Thomasson
21 May 24      i  i i      `* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
21 May 24      i  i i       +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
21 May 24      i  i i       i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i       i`- Welcome! (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i       `* Re: Every D(D) simulated by H presents non-halting behavior to H ###3immibis
24 May 24      i  i i        `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
19 May 24      i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Chris M. Thomasson
18 May 24      i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###107James Kuyper
18 May 24      `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal