Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott 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: References: <87v837kinv.fsf@nosuchdomain.example.com> 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: 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