Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: This function proves that only the outermost HHH examines the
 execution trace
Date: Sat, 27 Jul 2024 09:34:24 -0500
Organization: A noiseless patient Spider
Lines: 63
Message-ID: <v830hg$3dftr$9@dont-email.me>
References: <v80h07$2su8m$3@dont-email.me> <v82bi4$39v6n$4@dont-email.me>
 <v82tr5$3dftr$2@dont-email.me> <v82vtl$3dq41$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 27 Jul 2024 16:34:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c4ee90cee71e7f0114aee78a4820d739";
	logging-data="3588027"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18oLrP1/qOrYuIeKuuO+I+T"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:HHJ3TdXXBxmS8x83r3WYURsAQKc=
In-Reply-To: <v82vtl$3dq41$2@dont-email.me>
Content-Language: en-US
Bytes: 3539

On 7/27/2024 9:23 AM, Fred. Zwarts wrote:
> Op 27.jul.2024 om 15:48 schreef olcott:
>> On 7/27/2024 3:36 AM, Fred. Zwarts wrote:
>>> Op 26.jul.2024 om 17:56 schreef olcott:
>>>> This is meant for Mike, Joes and Fred don't have the technical 
>>>> competence to understand it.
>>>
>>> I have pity with you, 
>>
>> I am not the one that stupidly believes that a non-terminating
>> input must be emulated to non-existent completion or the emulation
>> is wrong.
> 
> (That is something I never said, but it seems too difficult for you.)
> You are the one that believes that the simulation of a halting program 
> must be aborted to prevent non-halting. Ha ha.
> 
>>
>> That the first HHH to see the non-halting behavior pattern must
>> abort or none of them abort is simply too difficult for you.
> 
> That two recursions is not equal to an infinite recursion is already too 
> difficult for you.

Two recursions with no conditional branch instructions
inbetween *IS* the correct non-halt status criteria.

void Infinite_Recursion()
{
   Infinite_Recursion();
}

_Infinite_Recursion()
[0000215a] 55               push ebp
[0000215b] 8bec             mov ebp,esp
[0000215d] e8f8ffffff       call 0000215a ; recursive call
[00002162] 5d               pop ebp
[00002163] c3               ret
Size in bytes:(0010) [00002163]

Begin Local Halt Decider Simulation   Execution Trace Stored at:113934
Decide_Halting_HH:1
[0000215a][00113924][00113928] 55               push ebp
[0000215b][00113924][00113928] 8bec             mov ebp,esp
[0000215d][00113920][00002162] e8f8ffffff       call 0000215a
[0000215a][0011391c][00113924] 55               push ebp
[0000215b][0011391c][00113924] 8bec             mov ebp,esp
[0000215d][00113918][00002162] e8f8ffffff       call 0000215a
Local Halt Decider: Infinite Recursion Detected Simulation Stopped

> You keep dreaming of an infinite recursion, when HHH is encoded to abort 
> after two recursions. It is too difficult for you to understand that 
> dreams do not play a role in logic.

Stopping running is not the same as halting.
DDD emulated by HHH stops running when its emulation has been aborted.
This is not the same as reaching its ret instruction and terminating
normally (AKA halting).

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