Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Who here is too stupid to know that DDD correctly simulated by
 HHH cannot possibly reach its own return instruction?
Date: Sat, 3 Aug 2024 11:33:30 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <d936137223203ba57f01e367f4e86302d6e5a92a@i2pn2.org>
References: <v8jh7m$30k55$1@dont-email.me> <v8kou4$3b2ta$1@dont-email.me>
 <v8lcir$3f6vr$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 3 Aug 2024 15:33:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1329218"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <v8lcir$3f6vr$4@dont-email.me>
Bytes: 2277
Lines: 39

On 8/3/24 9:50 AM, olcott wrote:
> On 8/3/2024 3:14 AM, Fred. Zwarts wrote:
>> Op 02.aug.2024 om 22:57 schreef olcott:
>>> Who here is too stupid to know that DDD correctly simulated
>>> by HHH cannot possibly reach its own return instruction?
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>>
>>
>> Which proves that the simulation is incorrect.
> 
> When are you going to understand that you are not allowed
> to disagree with the semantics of the x86 language?
> 

We can ask you the same question.

The ultimate arbiter of the semantics of the xx86 language is the 
running of the program as an x86 program.

When we do this, with HHH defined as you defined it, DDD calls HHH which 
runs for a while simulating a copy of DDD, then deciding to abort its 
emulation and returning to DDD which returns.


Thus, THIS is the actual behavior as DEFINED by the semantics of the x86 
language.

Where do you claim it is wrong?

Your problem is your HHH doesn't correct emulate HHH by the semantics of 
the x86 language. The only one that does never gives an answer, and thus 
isn't the decider you define HHH to be.

This proves you to be nothing but an ignorant liar.