Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Sun, 13 Apr 2025 14:50:31 -0700
Organization: A noiseless patient Spider
Lines: 82
Message-ID: <vthbj7$3p9fh$2@dont-email.me>
References: <vss56v$375du$2@dont-email.me> <vss91c$3b1no$1@dont-email.me>
 <vssabb$3aqnp$2@dont-email.me> <vssavl$3b2j0$3@dont-email.me>
 <vssi7p$3ipb5$3@dont-email.me> <vssjlr$3gd7d$4@dont-email.me>
 <vsss8i$d1q$1@dont-email.me> <vt52eo$nrf$2@dont-email.me>
 <vt6a5j$12sjs$1@dont-email.me> <vt70fd$1mtvn$1@dont-email.me>
 <vt78qo$1t4il$2@dont-email.me> <vt7g19$26bcv$1@dont-email.me>
 <vt9i4n$1ang$1@dont-email.me> <vta0kt$e7pj$1@dont-email.me>
 <vtb9p0$1ra42$1@dont-email.me> <vtbscm$2fqqg$1@dont-email.me>
 <vtg96u$2rqm0$1@dont-email.me> <vth3qu$3j0qm$2@dont-email.me>
 <vth4tt$3in23$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 13 Apr 2025 23:50:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4e1162c28aa98912893f2cdebfb1f3c0";
	logging-data="3974641"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19ylXEO5z8YnyhCPasABojZPwhhDZ2yYjY="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ZO7iOi/ZRUr+IfmspKMXaE7eaSY=
In-Reply-To: <vth4tt$3in23$8@dont-email.me>
Content-Language: en-US

On 4/13/2025 12:56 PM, olcott wrote:
> On 4/13/2025 2:38 PM, Chris M. Thomasson wrote:
>> On 4/13/2025 5:03 AM, olcott wrote:
>>> On 4/11/2025 3:00 PM, Chris M. Thomasson wrote:
>>>> On 4/11/2025 7:42 AM, olcott wrote:
>>>>> On 4/10/2025 10:00 PM, Chris M. Thomasson wrote:
>>>>>> On 4/10/2025 3:53 PM, olcott wrote:
>>>>>>> On 4/9/2025 11:04 PM, Chris M. Thomasson wrote:
>>>>>>>> On 4/9/2025 7:02 PM, olcott wrote:
>>>>>>>>> On 4/9/2025 6:39 PM, Chris M. Thomasson wrote:
>>>>>>>>>> On 4/9/2025 10:18 AM, olcott wrote:
>>>>>>>>>>> On 4/9/2025 1:00 AM, Chris M. Thomasson wrote:
>>>>>>>>>>>> On 4/5/2025 8:26 PM, olcott wrote:
>> [...]
>>>>> Of course not that is a very dumb question.
>>>>> You are asking if it can carefully examine
>>>>> all of the details of what it is not allowed to see.
>>>>
>>>> Does your halt decider work or not?
>>>>
>>>
>>> A variant of HHH had been a correct termination analyzer
>>> on its domain of inputs for several years.
>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>> [...]
>>
>> Is domain of inputs? So, an input for your "thing" cannot be crafted 
>> by a third party?
> 
> It is not that hard, why do you pretend that it is?
> Have you ever heard of a domain of inputs?
> 

Don't tell me its something akin to:

<code typed in the news reader, sorry for any typos!>
____________________________
#include <stdio.h>


static
unsigned long
iter_0(
     unsigned long ri,
     unsigned long rn
);


unsigned long
iter_1(
     unsigned long ri,
     unsigned long rn
) {
     if (ri > rn) return 666;
     printf("iter_1 %lu %lu\n", ri, rn);
     return iter_0(ri + 1, rn);
}

unsigned long
iter_0(
     unsigned long ri,
     unsigned long rn
) {
     if (ri > rn) return 42;
     printf("iter_0 %lu %lu\n", ri, rn);
     return iter_1(ri + 1, rn);
}

int main()
{
     unsigned long ri = 0;
     unsigned long rn = 42;

     unsigned long result = iter_0(ri, rn);

     printf("\nresult = %lu\n", result);

     return 0;
}
____________________________

?