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

On 6/10/2025 2:05 PM, Mr Flibble wrote:

On Tue, 10 Jun 2025 14:53:47 -0400, Richard Damon wrote:
 

On 6/10/25 1:22 PM, olcott wrote:

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

Right, it is just a fact that it is impossible for HHH to be shuch a
analyzer.
>
A CORRECT Temrination analyzer of the input to HHH(DDD), that is to the
termination analysis of DDD, is to say it halts, since the HHH(DDD) that
DDD will call  will return non-halting to that DDD, and it will then
halt.

 But it will never "return" because it is infinitely recursive; the
simulation is aborted and a halting result if non-halting is returned
elsewhere.
 /Flibble

DDD correctly simulated by HHH cannot possibly
reach its "return" statement final halt state.
If your identical twin brother robbed a liquor
state that DOES NOT MAKE YOU GUILTY. In this
same way the behavior of the function that calls
HHH(DDD) says NOTHING about the behavior that
the input to HHH(DDD) specifies.
For 90 years people stupidly assumed that a
halt decider must report on the behavior of
its caller.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer