Path: ...!2.eu.feeder.erje.net!feeder.erje.net!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:48:28 -0500 Organization: A noiseless patient Spider Lines: 62 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:48:29 +0200 (CEST) Injection-Info: dont-email.me; posting-host="2f5f52f96f067406075e702eab09af4a"; logging-data="775099"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/6XLSNSTdrbYdeYb8b5zxW" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:2DYzDzoaGpnjRZNRjzHkD8KQmjg= In-Reply-To: Content-Language: en-US Bytes: 3856 On 5/21/2024 1:39 PM, Bonita Montero wrote: > Am 21.05.2024 um 20:24 schrieb olcott: >> 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. >> > > You're neither asking about a C- or C++ problem. > So use a proper newsgroup. > There is no other group that knows enough about the semantics of the C programming language and there is no other group still alive that knows enough about the semantics of programming languages. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer