DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory

From	olcott <polcott333@gmail.com>
Newsgroups	comp.lang.c, comp.lang.c++
Subject	DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory
Date	2025-06-27 14:36 -0500
Organization	A noiseless patient Spider
Message-ID	<103mrs1$ar3e$1@dont-email.me> (permalink)

Cross-posted to 2 groups.

Show all headers | View raw

I am only here for the validation of the behavior
of DDD correctly simulated by HHH.

I have included proof that the people on comp.theory
lied about this at the bottom.

typedef void (*ptr)();
int HHH(ptr P);

void DDD()
{
   HHH(DDD);
   return;
}

int main()
{
   HHH(DDD);
   DDD();
}

Termination Analyzer HHH simulates its input until
it detects a non-terminating behavior pattern. When
HHH detects such a pattern it aborts its simulation
and returns 0.

On 6/27/2025 12:27 PM, Alan Mackenzie wrote:
 > In comp.theory olcott <polcott333@gmail.com
 > wrote:
 >
 >> I know that DDD .... simulated by HHH cannot
 >> possibly reach its own simulated "return" statement
 >> final halt state because the execution trace
 >> conclusively proves this.
 >
 > Everybody else knows this, too, and nobody has
 > said otherwise. *The conclusion is that the*
 > *simulation by HHH is incorrect*
 >

*That last sentence is an intentional falsehood*

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Back to comp.lang.c | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-27 14:36 -0500
  Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 01:14 +0100
    Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:00 -0500
      Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 17:22 +0100
        Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 11:47 -0500
          Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 18:38 +0100
            Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 13:08 -0500
            Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 14:16 -0500
    Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-29 10:41 -0500
    Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- (Typo corrected) olcott <polcott333@gmail.com> - 2025-06-29 10:48 -0500

csiph-web