| Deutsch English Français Italiano |
|
<d936137223203ba57f01e367f4e86302d6e5a92a@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
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.