Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: What is the best way for termination analyzers to handle
 pathological inputs?
Date: Tue, 10 Jun 2025 12:22:50 -0500
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <1029pla$1ah2f$15@dont-email.me>
References: <1027isi$on4i$1@dont-email.me> <1028n53$1440t$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 10 Jun 2025 19:22:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="668213ca1180824494e01b33326cf4e0";
	logging-data="1393743"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18K/dyu0L8LjmiOYK25kTox"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Hhhv9qpOpaiDN2LcoRC99ctN6EE=
In-Reply-To: <1028n53$1440t$1@dont-email.me>
Content-Language: en-US
X-Antivirus: Norton (VPS 250610-10, 6/10/2025), Outbound message
X-Antivirus-Status: Clean

On 6/10/2025 2:33 AM, Mikko wrote:
> On 2025-06-09 21:14:58 +0000, olcott said:
> 
>> The official "received view" of this is that the best
>> we can possibly do is to do nothing and give up.
> 
> There is no official view about "the best". What is the best
> depends on what one needs and wants. Some may think that the
> best they can do is to waste their life in trying to do the
> impossible.
> 

It is not at all impossible to create a termination
analyzer that reports on the behavior specified
by the input to HHH(DDD). It was never correct to
define a termination analyzer any other way.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer