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

Liste des GroupesRevenir à c 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, 04: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
17 May 24 * Re: Every D(D) simulated by H presents non-halting behavior to H ###175olcott
18 May 24 +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24 `* Re: Every D(D) simulated by H presents non-halting behavior to H ###173Mikko
18 May 24  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###65olcott
18 May 24  i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###63DFS
19 May 24  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
20 May 24  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Chris M. Thomasson
20 May 24  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6Keith Thompson
20 May 24  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
20 May 24  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
21 May 24  i i  i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
20 May 24  i i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
20 May 24  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kenny McCormack
19 May 24  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###52olcott
19 May 24  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
19 May 24  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###50Richard Damon
19 May 24  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###49Chris M. Thomasson
20 May 24  i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###48immibis
20 May 24  i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###47David Brown
20 May 24  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###4Kenny McCormack
20 May 24  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Alan Mackenzie
20 May 24  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  `- 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    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Chris M. Thomasson
21 May 24  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7David Brown
21 May 24  i i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6James Kuyper
21 May 24  i i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5David Brown
21 May 24  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 ###2Keith Thompson
22 May 24  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   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24  i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###34immibis
21 May 24  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Keith Thompson
21 May 24  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
21 May 24  i i     i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
21 May 24  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###16David Brown
21 May 24  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###15James Kuyper
21 May 24  i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###14immibis
21 May 24  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  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Richard Damon
22 May 24  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 +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3olcott
22 May 24  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`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
22 May 24  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  `* Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2immibis
22 May 24  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  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4James Kuyper
22 May 24  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`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kaz Kylheku
22 May 24  i i     i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
21 May 24  i i     `* Re: Every D(D) simulated by H presents non-halting behavior to H ###10Chris M. Thomasson
21 May 24  i i      +* Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24  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      `* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
21 May 24  i i       +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
21 May 24  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`- Welcome! (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24  i i       `* Re: Every D(D) simulated by H presents non-halting behavior to H ###3immibis
24 May 24  i i        `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
24 May 24  i i         `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
19 May 24  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Chris M. Thomasson
19 May 24  i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Jeff Barnett
18 May 24  `* 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 ###13Richard Damon
18 May 24   i+* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Fred. Zwarts
18 May 24   ii+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24   ii+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
18 May 24   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H ###4James Kuyper
18 May 24   ii +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
19 May 24   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
20 May 24   ii  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Mikko
18 May 24   i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###5James Kuyper
18 May 24   i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Richard Damon
18 May 24   i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
18 May 24   i i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Keith Thompson
18 May 24   i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
19 May 24   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###93Mikko
19 May 24    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###92olcott
19 May 24     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###90Mikko
19 May 24     i+* Re: Every D(D) simulated by H presents non-halting behavior to H ###25olcott
19 May 24     ii+* Re: Every D(D) simulated by H presents non-halting behavior to H ###14Richard Damon
19 May 24     iii`* Re: Every D(D) is correctly simulated by H13olcott
19 May 24     iii `* Re: Every D(D) is correctly simulated by H12Richard Damon
19 May 24     iii  `* Re: Every D(D) is correctly simulated by H11olcott
19 May 24     iii   +* Re: Every D(D) is correctly simulated by H7Richard Damon
19 May 24     iii   i+* Re: Every D(D) is correctly simulated by H2olcott
20 May 24     iii   ii`- Re: Every D(D) is correctly simulated by H1Richard Damon
19 May 24     iii   i`* Re: Every D(D) is correctly simulated by H4olcott
20 May 24     iii   i `* Re: Every D(D) is correctly simulated by H3Richard Damon
20 May 24     iii   i  `* Re: Every D(D) is correctly simulated by H2olcott
21 May 24     iii   i   `- Re: Every D(D) is correctly simulated by H1Richard Damon
20 May 24     iii   `* Re: Every D(D) is correctly simulated by H3Mikko
20 May 24     iii    `* Re: Every D(D) is correctly simulated by H2olcott
21 May 24     iii     `- Re: Every D(D) is correctly simulated by H1Richard Damon
20 May 24     ii`* Re: Every D(D) simulated by H presents non-halting behavior to H ###10Mikko
21 May 24     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###64olcott
19 May 24     `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal