Re: What is the best way for termination analyzers to handle pathological inputs?

On 2025-06-10 17:22:50 +0000, olcott said:

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).

Usually the requirement is that if a termination analysis reports
anything that report must be correct. What HHH(DDD) reports is
not correct.

It was never correct to define a termination analyzer any other way.

There are many correct definitions. If the term "termination analyzer"
is defined to mean something then it means that thing in the scope of
the definition (which typically is the opus where the definition is).
That a term is definied differently from how you want it to be defined
does not make the definition wrong.
--
Mikko