Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: This function proves that only the outermost HHH examines the
 execution trace
Date: Tue, 30 Jul 2024 18:40:21 -0500
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <v8btl5$184u7$3@dont-email.me>
References: <v80h07$2su8m$3@dont-email.me>
 <0amdndFJSZSzYD77nZ2dnZfqnPednZ2d@brightview.co.uk>
 <v8102f$2vo8u$1@dont-email.me> <v83fhe$3gihn$1@dont-email.me>
 <v83hmk$3gvj7$1@dont-email.me> <v83jc9$3gihm$1@dont-email.me>
 <v83juc$3ham9$1@dont-email.me> <v8519e$3s7bv$1@dont-email.me>
 <v88h9e$i7kl$7@dont-email.me> <v8a31r$u7n5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 31 Jul 2024 01:40:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d6c56e3cc0e766a5f243fbbf3db0d44a";
	logging-data="1315783"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/ThKXhrDgBNx8Wy4j7OJHS"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:I5hGuKaLzatJ5fY3XkWrR1yWUi4=
In-Reply-To: <v8a31r$u7n5$1@dont-email.me>
Content-Language: en-US
Bytes: 2830

On 7/30/2024 2:00 AM, Mikko wrote:
> On 2024-07-29 16:50:53 +0000, olcott said:
> 
>> On 7/28/2024 3:59 AM, Mikko wrote:
>>> On 2024-07-27 20:05:31 +0000, olcott said:
>>>> If you had sufficient understanding of the x86 language
>>>> you would know that DDD is correctly emulated by HHH.
>>>
>>> If you had suffient understanding of x86 language and correctness
>>> you would know that DDD is incorrectly emnulated by HHH.
>>
>> This is only seems that way because every reviewer makes sure
>> to ignore one aspect of the basis of another.
> 
> It is perfectly OK to ignore irrelevant details. A relevant detail
> is the meaning of the word "emulate" as that determines what is a
> correct emulation and what is not.
> 

*It is not OK to ignore*

This algorithm is used by all the simulating termination analyzers:
<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>

for DDD correctly emulated by HHH until...

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer