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, 14:58:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vgt2iu$10iv5$2@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 11/11/2024 3:42 AM, Mikko wrote:
On 2024-11-10 19:28:28 +0000, olcott said:
*The best selling author of theory of computation textbooks*
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its input D
until H correctly determines that its simulated D would never
stop running unless aborted then
>
H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>
Correct simulation is defined as D is emulated by H according to
the semantics of the x86 language thus includes H emulating itself
emulating D.
No, that definition does not apply to Sipser's words. There a "correct
simulation" measn a simulation that Sipser regards as correct, which
probably is the same as what "coreect simulation" means in Common
Language.
How could disagreeing with the semantics of the x86 language
possibly be correct?
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…