Sujet : Re: Philosophy of Computation: Three seem to agree how emulating termination analyzers are supposed to work
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 11. Nov 2024, 16:18:55
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vgt78v$11e5a$5@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 11/11/2024 5:33 AM, Mikko wrote:
OP says nothing aobut how emulationg termination analyzers are supposed to
work.
When I provide direct access to fully operational code
https://github.com/plolcott/x86utm/blob/master/Halt7.cyour statement becomes a bald faced lie.
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.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Re: Philosophy of Computation: Three seem to agree how emulating termination analyzers are supposed to work
Re: Philosophy of Computation: Three seem to agree how emulating termination analyzers are supposed to work