Sujet : Re: What is the best way for termination analyzers to handle pathological inputs?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 10. Jun 2025, 18:22:50
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1029pla$1ah2f$15@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
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; Geniushits a target no one else can see." Arthur Schopenhauer
What is the best way for termination analyzers to handle pathological inputs?
Re: What is the best way for termination analyzers to handle pathological inputs?
