Sujet : Re: Proving the: Simulating termination analyzer Principle
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : comp.lang.cDate : 13. Apr 2025, 22:50:31
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vthbj7$3p9fh$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
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;
}
____________________________
?
Proving the: Simulating termination analyzer Principle
Re: Proving the: Simulating termination analyzer Principle