Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state
Date: Tue, 13 May 2025 12:19:20 +0300
Organization: -
Lines: 20
Message-ID: <vvv2qo$1nqc0$1@dont-email.me>
References: <vvma0u$34vcu$1@dont-email.me> <vvmvu6$3dt3n$1@dont-email.me> <vvnrkv$3in62$7@dont-email.me> <vvpq4q$446u$1@dont-email.me> <vvqiu1$gldn$8@dont-email.me> <vvs8k1$vr8s$1@dont-email.me> <vvt10i$14pca$3@dont-email.me> <vvt1b3$13l2b$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 13 May 2025 11:19:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="69576f0644f413b581cc430fda63c863";
	logging-data="1829248"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+xmZx3DlgJxdhIYiH5v/hD"
User-Agent: Unison/2.2
Cancel-Lock: sha1:MyZfBrcbqfTB0qbWwAETYzLGi7w=
Bytes: 1786

On 2025-05-12 14:41:38 +0000, Richard Heathfield said:

> On 12/05/2025 15:36, olcott wrote:
> 
> <snip>
> 
>> It is nutty to require a simulating termination
>> analyzer to simulate a non-terminating input forever.
> 
> I have to agree with you here. In fact, you've put your finger on the 
> precise reason that it's nutty to try to analyse a program's 
> termination behaviour by simulating it.

The latter is not as nutty as the former. The problem whether a program
terminates in a reasonable time for a particular input is determinable
with simulation.

-- 
Mikko