| Deutsch English Français Italiano |
|
<v2iot3$ncsb$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!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: Re: Can D correctly simulated by H reach its own line 06 and halt?
Date: Tue, 21 May 2024 13:24:35 -0500
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <v2iot3$ncsb$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>
<v2i9ur$kiq6$1@dont-email.me>
<v2inha$n6d0$1@raubtier-asyl.eternal-september.org>
<v2io05$n763$1@dont-email.me>
<v2io8l$nab4$1@raubtier-asyl.eternal-september.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 20:24:36 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2f5f52f96f067406075e702eab09af4a";
logging-data="766859"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19G3BaIJukRP9SnmY0Ru5ce"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pEbiwxF6gDyMsdLBib53XI42Cm8=
In-Reply-To: <v2io8l$nab4$1@raubtier-asyl.eternal-september.org>
Content-Language: en-US
Bytes: 3255
On 5/21/2024 1:13 PM, Bonita Montero wrote:
> Am 21.05.2024 um 20:09 schrieb olcott:
>> On 5/21/2024 1:01 PM, Bonita Montero wrote:
>>> Am 21.05.2024 um 16:09 schrieb olcott:
>>>
>>>> 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.
>>>
>>> Saying this is a question about C is like questioning something
>>> about physics in Polish and claiming this is a question about
>>> Polish.
>>
>> I am convinced that the question can be fully answered entirely on the
>> basis of the semantics of C in the exact same way that the termination
>> status of the following functions can be answered entirely on the basis
>> of sufficient knowledge of the semantics of c.
>>
>> *If you believe otherwise then I ask for you to please justify this*
>>
>> void Infinite_Recursion()
>> {
>> Infinite_Recursion();
>> }
>>
>> int factorial(int n) // called with 5
>> {
>> if (n >= 1)
>> return n*factorial(n-1);
>> else
>> return 1;
>> }
>>
>> void Infinite_Loop()
>> {
>> HERE: goto HERE;
>> }
>>
>>
>
> This is possible with most languages so this isn't a question about C.
None-the-less the semantics of my code template does seem
to prove the result that I stated. I would not even be here
except for the people in the other forum that consistently
lie about this.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer