Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Philosophy of Computation: Three seem to agree how emulating termination analyzers are supposed to work
Date: Mon, 11 Nov 2024 13:33:39 +0200
Organization: -
Lines: 10
Message-ID: <vgsq2j$v928$1@dont-email.me>
References: <vgr1gs$hc36$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 11 Nov 2024 12:33:39 +0100 (CET)
Injection-Info: dont-email.me; posting-host="88f660726df1b76a05d2b3eb8bbe5a8c";
	logging-data="1025096"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+FdVclrNoAW0UPmYe/Tgnm"
User-Agent: Unison/2.2
Cancel-Lock: sha1:tqp9knjEphN93lVUwLemOKygIGs=
Bytes: 1304

OP says nothing aobut how emulationg termination analyzers are supposed to
work. I think that is OK. Philosophers may have opinions about that but
the question is not really relevant for theorieticsl or practical purposes.

Anyone who wants to present or sell an emulating termination analyzer should
tell what that particular analyzer actually does.

-- 
Mikko