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
Subject: Re: Recursive simulation
Date: Sun, 21 Jul 2024 09:53:34 -0500
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <v7j7de$4me3$1@dont-email.me>
References: <v7gl30$3j9fi$1@dont-email.me> <v7h1fl$3lcvq$3@dont-email.me>
 <v7h224$3li66$3@dont-email.me> <v7h3je$3lcvq$6@dont-email.me>
 <v7h55o$2a60$1@news.muc.de> <v7h5fi$3m6kq$3@dont-email.me>
 <v7inno$1uji$3@dont-email.me> <v7j5pf$3o7r$8@dont-email.me>
 <ecdcfa1c7eb6c6bf7d4609e5744874e1d880d989@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 21 Jul 2024 16:53:35 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9ab67b95e26d71c9bf3d4bab69c0e6c7";
	logging-data="154051"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19whtljj0jAau0UVZ7pus0j"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:VLtixV2ZU6L/+Eeih5Q9CEB1SR8=
In-Reply-To: <ecdcfa1c7eb6c6bf7d4609e5744874e1d880d989@i2pn2.org>
Content-Language: en-US
Bytes: 2722

On 7/21/2024 9:37 AM, joes wrote:
> Am Sun, 21 Jul 2024 09:25:51 -0500 schrieb olcott:
>> On 7/21/2024 5:25 AM, Fred. Zwarts wrote:
>>> Op 20.jul.2024 om 22:08 schreef olcott:
> 
>>>> It *is* a fact that no DDD correctly simulated by any pure function
>>>> HHH ever reaches its own return instruction.
>>> Which proves that these simulations are incorrect.
>> *You don't get to be the judge of this*
>> As long as the x86 machine language instructions of DDD are emulated by
>> HHH according to the semantic meaning of these instructions then the
>> emulation is correct and anyone that disagrees is disagreeing with a
>> tautology.

> They are not simulated correctly, they are aborted.
> 

N instructions of DDD[N] are correctly emulated by some HHH[N]
where N is each element of the ordered set of positive integers.

>> This correct emulation must take into account the fact that DDD is
>> calling its own emulator: HHH(DDD) in recursive emulation.

> Only in so far that it also simulates all recursive calls.
> Why is the return of HHH not simulated?
> 

The return of HHH is not simulated for the same reason
that the following OutputString("Hello World!"); would
never be simulated.

void Infinite_Recursion()
{
   Infinite_Recursion();
   OutputString("Hello World!");
}


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