Deutsch   English   Français   Italiano  
<vssjcu$3l5ki$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: James Kuyper <jameskuyper@alumni.caltech.edu>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Sat, 5 Apr 2025 20:54:54 -0400
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <vssjcu$3l5ki$1@dont-email.me>
References: <vss56v$375du$2@dont-email.me> <vss6ie$389d8$3@dont-email.me>
 <vss7av$375du$8@dont-email.me> <vss7em$389d8$5@dont-email.me>
 <vssa6p$3b2j0$2@dont-email.me> <vssdo7$3evdr$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 06 Apr 2025 02:55:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bcde48334a22ad361275cf2d77511bb9";
	logging-data="3839634"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19TImNXOiDA0GtTxC3Y3cEBhykb0+Kj4Zo="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:XfGRM6rvIY1f2Mp/O99qFZP8nkk=
In-Reply-To: <vssdo7$3evdr$3@dont-email.me>
Content-Language: en-US
Bytes: 1473

On 06/04/2025 00:18, olcott wrote:
....
> Termination analyzers are not required to be infallible.

The Halting Problem refers to the impossibility of an infallible
termination analyzer. Fallible termination analyzers are trivially
possible - the question's not worth thinking about.