Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
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: Mon, 5 Aug 2024 10:44:31 +0300
Organization: -
Lines: 33
Message-ID: <v8pvsv$iius$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@dont-email.me> <v8ld1f$3f6vr$5@dont-email.me> <v8ldl0$3ennf$1@dont-email.me> <v8lfb9$3g2jl$1@dont-email.me> <v8lgsr$3gadt$2@dont-email.me> <v8lhrr$3gkbk$1@dont-email.me> <v8n6un$3tv08$1@dont-email.me> <v8nums$1n09$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 05 Aug 2024 09:44:31 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bbfb59f828059e193a33ed558dfca0d5";
	logging-data="609244"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Nylcqxn1lCAJHqYcSORF2"
User-Agent: Unison/2.2
Cancel-Lock: sha1:O3vPkU6N/sfKejvmnXE56GiTmZ4=
Bytes: 2301

On 2024-08-04 13:11:56 +0000, olcott said:

> On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
>> Op 03.aug.2024 om 17:20 schreef olcott:>>
>>> When you try to show how DDD simulated by HHH does
>>> reach its "return" instruction you must necessarily
>>> must fail unless you cheat by disagreeing with the
>>> semantics of C. That you fail to have a sufficient
>>> understanding of the semantics of C is less than no
>>> rebuttal what-so-ever.
>> 
>> Fortunately that is not what I try, because I understand that HHH 
>> cannot possibly simulate itself correctly.
>> 
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> In other words when HHH simulates itself simulating DDD it
> is supposed to do something other than simulating itself
> simulating DDD ???  Do you expect it to make a cup of coffee?

In another message you have said that when HHH simulates itself
simulating DDD is does not simulate itself simulating itself
simulating DDD. You have not told whether it makes a cup of coffee.
Neither action can be seen in the traces you have shown.

-- 
Mikko