Path: ...!eternal-september.org!feeder3.eternal-september.org!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 12:38:06 -0700
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <vth3qu$3j0qm$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 13 Apr 2025 21:38:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4e1162c28aa98912893f2cdebfb1f3c0";
	logging-data="3769174"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Xxto+MTHaTySB9VjTJn6fMdL4KAHeMC8="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:wJRZnHySHF11dGB8wPLPqmxmD9I=
In-Reply-To: <vtg96u$2rqm0$1@dont-email.me>
Content-Language: en-US
Bytes: 2559

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?