Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: DDD correctly emulated by HHH is correctly rejected as non-halting.
Date: Wed, 10 Jul 2024 10:03:46 -0500
Organization: A noiseless patient Spider
Lines: 49
Message-ID: <v6m7si$1uq86$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 10 Jul 2024 17:03:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5";
	logging-data="2058502"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19fad9whRqd3pbJsKzLbxEs"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:HRDp+HPdYX+ggOR1mvXTHxhmL1A=
Content-Language: en-US
Bytes: 2640

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

void DDD()
{
   HHH(DDD);
}

int main()
{
   HHH(DDD);
}

We stipulate that the only measure of a correct emulation
is the semantics of the x86 programming language. By this
measure when 1 to ∞ steps of DDD are correctly emulated by
each pure function x86 emulator HHH (of the infinite set
of every HHH that can possibly exist) then DDD cannot
possibly reach past its own machine address of 0000216b
and halt.

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]

*This algorithm is used by the simulating termination analyzers*
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then

     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

Simulating termination analyzer HHH aborts its emulation of DDD
as soon as it correctly detects any non-halting behavior pattern.
At this point it aborts its emulation and returns 0 indicating
that it rejected this input as non-halting.

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