Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,comp.lang.c,comp.lang.c++
Subject: HHH(DD) does correctly reject its input as non-halting --- VERIFIED
 FACT
Followup-To: comp.theory
Date: Thu, 12 Jun 2025 10:30:05 -0500
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <102erpt$2ohps$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 12 Jun 2025 17:30:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9f0ba097a1221e597ea76cc26b2e661a";
	logging-data="2901820"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18DKNv6FUPSMrjZPrt/jGyy"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SCJjymKjwUalbVKCPZSByKpXwTE=
Content-Language: en-US
X-Antivirus: Norton (VPS 250612-2, 6/12/2025), Outbound message
X-Antivirus-Status: Clean

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

It is a verified fact that DD() *is* one of the forms
of the counter-example input as such an input would
be encoded in C. Christopher Strachey wrote his in CPL.

// rec routine P
//   §L :if T[P] go to L
//     Return §
// https://academic.oup.com/comjnl/article/7/4/313/354243
void Strachey_P()
{
   L: if (HHH(Strachey_P)) goto L;
   return;
}

https://academic.oup.com/comjnl/article-abstract/7/4/313/354243?redirectedFrom=fulltext 


It *is* a verified fact DD correctly simulated by HHH
cannot possibly reach its own "return" statement
final halt state.

All of the above code is fully operational in this file
https://github.com/plolcott/x86utm/blob/master/Halt7.c

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