Path: ...!feeds.phibee-telecom.net!weretis.net!feeder8.news.weretis.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,comp.ai.philosophy
Subject: Re: People are still trying to get away with disagreeing with the
 semantics of the x86 language
Date: Mon, 1 Jul 2024 08:31:15 -0500
Organization: A noiseless patient Spider
Lines: 83
Message-ID: <v5ub33$13ggp$1@dont-email.me>
References: <v5pbjf$55h$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 01 Jul 2024 15:31:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f83257e6e5a87f489aa8241c55498376";
	logging-data="1163801"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/8AR+sx/2Id3cZfLAhvhV9"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:cXYyh/7WE9I3VOJZ8WMe7/Ghso0=
Content-Language: en-US
In-Reply-To: <v5pbjf$55h$1@dont-email.me>
Bytes: 3948

On 6/29/2024 11:09 AM, olcott wrote:
> People are still trying to get away with disagreeing with
> the semantics of the x86 language. That is isomorphic to
> trying to get away with disagreeing with arithmetic.
> 
> typedef void (*ptr)();
> int H0(ptr P);
> 
> void Infinite_Loop()
> {
>    HERE: goto HERE;
> }
> 
> void Infinite_Recursion()
> {
>    Infinite_Recursion();
> }
> 
> void DDD()
> {
>    H0(DDD);
> }
> 
> int main()
> {
>    H0(Infinite_Loop);
>    H0(Infinite_Recursion);
>    H0(DDD);
> }
> 
> Every C programmer that knows what an x86 emulator is knows
> that when H0 emulates the machine language of Infinite_Loop,
> Infinite_Recursion, and DDD that it must abort these emulations
> so that itself can terminate normally.
> 
> When this is construed as non-halting criteria then simulating
> termination analyzer H0 is correct to reject these inputs as
> non-halting by returning 0 to its caller.
> 
> Simulating termination analyzers must report on the behavior
> that their finite string input specifies thus H0 must report
> that DDD correctly emulated by H0 remains stuck in recursive
> simulation.
> 
> <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>
> 
> People are trying to get away with disagreeing with the semantics
> of the x86 language by disagreeing that
> 
> The call from DDD to HHH(DDD) when N steps of DDD are correctly
> emulated by any pure function x86 emulator HHH cannot possibly
> return.
> 
> _DDD()
> [00002172] 55               push ebp      ; housekeeping
> [00002173] 8bec             mov ebp,esp   ; housekeeping
> [00002175] 6872210000       push 00002172 ; push DDD
> [0000217a] e853f4ffff       call 000015d2 ; call HHH(DDD)
> [0000217f] 83c404           add esp,+04
> [00002182] 5d               pop ebp
> [00002183] c3               ret
> Size in bytes:(0018) [00002183]
> 

DDD is correctly emulated by HHH which calls an
emulated HHH(DDD) to repeat the process until aborted.

> 
> *A 100% complete and total rewrite of the prior paper*
> https://www.researchgate.net/publication/381636432_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_P
> 

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