Can D correctly simulated by H reach its own line 06 and halt?

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