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.lang.c++,comp.lang.c
Subject: Can D correctly simulated by H reach its own line 06 and halt?
Date: Tue, 21 May 2024 09:09:31 -0500
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <v2i9ur$kiq6$1@dont-email.me>
References: <v2b78t$2vima$1@dont-email.me>
 <v2df79$3ghfd$1@raubtier-asyl.eternal-september.org>
 <v2di7v$3gujt$1@dont-email.me>
 <v2eada$3p6sk$1@raubtier-asyl.eternal-september.org>
 <v2edbr$3pl2i$1@dont-email.me>
 <eaa0ef93ca03f744edc4fbcf6e79fc730805cce9.camel@gmail.com>
 <87v837kinv.fsf@nosuchdomain.example.com> <v2h65i$e0lf$1@dont-email.me>
 <v2hk19$gcup$1@dont-email.me> <v2i7no$jvcs$1@dont-email.me>
 <v2i95g$kdk7$1@raubtier-asyl.eternal-september.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 21 May 2024 16:09:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2f5f52f96f067406075e702eab09af4a";
	logging-data="674630"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18X4SIuwgh4MYrNMJy7EHW0"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fL/CfKa977peKo7G41iLuTwjaLI=
Content-Language: en-US
In-Reply-To: <v2i95g$kdk7$1@raubtier-asyl.eternal-september.org>
Bytes: 2999

On 5/21/2024 8:56 AM, Bonita Montero wrote:
> Am 21.05.2024 um 15:31 schrieb olcott:
> 
>> It is not homework.
>> I claim that D correctly simulated by H (using an x86 emulator)
>> never reaches its own final state at line 06 and halts for every
>> H/D pair matching the above template. Additional details are off-topic.
> 
> What's the practical purpose for that ? I think comp.theory is
> a proper group for your questions since your question is generic
> to alot of languages.
> 
> 

I am only asking the c experts here whether or not D correctly
simulated by *pure function* H can possibly reach its own line
06 and halt for every H/D pair matching the template provided.

On 5/20/2024 9:23 PM, Keith Thompson
confirmed that it is c17 compliant and it does compile

I had to add the *pure function* requirement because Richard found
a loophole using local static data. It had been agreed years ago
that local static data was not allowed yet never expressly stated
in the spec, so Richard took this as a loophole.
https://en.wikipedia.org/wiki/Pure_function#

This aspect <is> a c question. The people on other groups simply
don't know c well enough.

WST 2023: 19th International Workshop on Termination
https://easychair.org/cfp/WST2023

AProVE: Non-Termination Witnesses for C Programs
https://link.springer.com/chapter/10.1007/978-3-030-99527-0_21

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