| Deutsch English Français Italiano |
|
<v2jtal$114ps$2@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 23:46:13 -0500
Organization: A noiseless patient Spider
Lines: 120
Message-ID: <v2jtal$114ps$2@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>
<v2iot3$ncsb$1@dont-email.me>
<v2ipoi$nifm$1@raubtier-asyl.eternal-september.org>
<v2iq9s$nktr$1@dont-email.me>
<v2jsa6$114s9$1@raubtier-asyl.eternal-september.org>
<v2jspc$114ps$1@dont-email.me>
<v2jt03$118ea$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: Wed, 22 May 2024 06:46:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9557ecc38a2c6e613b1947df9dd7fc56";
logging-data="1086268"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+uWOSdBtBhtb4WtajvbUqi"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:URkTQg1f57bERDh2UAlMrbT+JW8=
Content-Language: en-US
In-Reply-To: <v2jt03$118ea$1@raubtier-asyl.eternal-september.org>
Bytes: 6032
On 5/21/2024 11:40 PM, Bonita Montero wrote:
> Am 22.05.2024 um 06:37 schrieb olcott:
>> On 5/21/2024 11:29 PM, Bonita Montero wrote:
>>> Am 21.05.2024 um 20:48 schrieb olcott:
>>>> 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.
>>>>
>>>
>>> comp.theory is the most apppropriate group.
>>>
>>
>> They have proven to not be the right group because they have
>> consistently lied about this for two years.
>
> Maybe, but according to the topic this group fits.
*I AM GETTING NO WHERE WITH THEM ON THIS PAIR OF C FUNCTIONS*
D correctly simulated by H cannot possibly reach its own final
state at line 06 and halt because D correctly simulated by
H remains stuck in recursive simulation.
As soon as I get three people to sincerely concur then I
won't need these two groups any more.
>>
>> It is trivial to see that for every H/D pair of the infinite
>> set of H/D pairs that match the below template that
>>
>> D correctly simulated by H cannot possibly reach its own final
>> state at line 06 and halt because D correctly simulated by
>> H remains stuck in recursive simulation.
>>
>> This provides the basis for simulating termination analyzer H to
>> correctly determine that the halting problem's counter-example
>> input D cannot possibly halt.
>>
>> typedef int (*ptr)(); // ptr is pointer to int function in C
>> 00 int H(ptr p, ptr i);
>> 01 int D(ptr p)
>> 02 {
>> 03 int Halt_Status = H(p, p);
>> 04 if (Halt_Status)
>> 05 HERE: goto HERE;
>> 06 return Halt_Status;
>> 07 }
>> 08
>> 09 int main()
>> 10 {
>> 11 H(D,D);
>> 12 return 0;
>> 13 }
>>
>>
>
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer