Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Any honest person that knows the x86 language can see...
Date: Tue, 30 Jul 2024 16:51:02 +0200
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <v8aukp$12grj$1@dont-email.me>
References: <v887np$gl15$1@dont-email.me> <v8a2j5$u4t6$1@dont-email.me>
 <v8asse$12hr3$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 30 Jul 2024 16:51:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e4453430aabba16fc3cfe125205087b3";
	logging-data="1131379"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+3XGCNRukumxtO53FUYh08"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:nT/5AoMcc+969dkfq/MpoufgY3M=
Content-Language: en-GB
In-Reply-To: <v8asse$12hr3$2@dont-email.me>
Bytes: 4060

Op 30.jul.2024 om 16:21 schreef olcott:
> On 7/30/2024 1:52 AM, Mikko wrote:
>> On 2024-07-29 14:07:53 +0000, olcott said:
>>
>>> HHH(Infinite_Recursion) and HHH(DDD) show the same non-halting
>>> behavior pattern in their derived execution traces of their
>>> inputs.
>>
>> Hard to believe as their behaviour is so different and you don't
>> say what pattern the see. 
> 
> *Its all in the part that you erased*
> 
> *Infinite_Recursion correctly emulated by HHH*
> *THREE lines repeat with no conditional branch instructions*
> Begin Local Halt Decider Simulation   Execution Trace Stored at:113934
> [0000215a][00113924][00113928] 55         push ebp      ; 1st line
> [0000215b][00113924][00113928] 8bec       mov ebp,esp   ; 2nd line
> [0000215d][00113920][00002162] e8f8ffffff call 0000215a ; 3rd line
> [0000215a][0011391c][00113924] 55         push ebp      ; 1st line
> [0000215b][0011391c][00113924] 8bec       mov ebp,esp   ; 2nd line
> [0000215d][00113918][00002162] e8f8ffffff call 0000215a ; 3rd line
> Local Halt Decider: Infinite Recursion Detected Simulation Stopped
> 
> *DDD correctly emulated by HHH*
> *FOUR lines repeat with no conditional branch instructions*
> Begin Local Halt Decider Simulation   Execution Trace Stored at:113895
> [00002177][00113885][00113889] 55         push ebp      ; 1st line
> [00002178][00113885][00113889] 8bec       mov ebp,esp   ; 2nd line
> [0000217a][00113881][00002177] 6877210000 push 00002177 ; push DDD
> [0000217f][0011387d][00002184] e853f4ffff call 000015d7 ; call HHH
> [00002177][0015e2ad][0015e2b1] 55         push ebp      ; 1st line
> [00002178][0015e2ad][0015e2b1] 8bec       mov ebp,esp   ; 2nd line
> [0000217a][0015e2a9][00002177] 6877210000 push 00002177 ; push DDD
> [0000217f][0015e2a5][00002184] e853f4ffff call 000015d7 ; call HHH
> Local Halt Decider: Infinite Recursion Detected Simulation Stopped
> 
> 

We all see the differences between these two. In the first one, the call 
refers to the start 0000215a, so, that one indeed is a complete recursion.
But in the second one the call does not refer to the start: 00001567 is 
not 00002177. So, that is not a complete cycle. The call of the second 
one refers to HHH. The cycle is complete, when also HHH is simulated. 
The semantics of the x86 language, which is apparently ignored here, 
requires the continuation with the instructions in HHH, which *does* 
have conditional branch instructions.
So, olcott is cheating by comparing these two and claiming that there 
are no conditional branch instructions. The conditional branch 
instructions are hidden in HHH, which olcott does not want to show here, 
because it would make his error too obvious.
The second one looks more like Finite_Recursion.
The infinite recursion exists only in Olcott's dreams, which are no 
substitute for logic.