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: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: DD correctly emulated by HHH --- Correct Emulation Defined
Date: Tue, 25 Mar 2025 17:03:26 -0400
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <vrv5mt$3hle3$13@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <vrmirg$5bpl$1@dont-email.me>
 <ca0a3e4701bc62fa38f1138064feff7628ff5b48@i2pn2.org>
 <vrmtrn$cvat$7@dont-email.me>
 <678373dd34320b3c8250f1e75c849a16316d8ae8@i2pn2.org>
 <vro0rb$1c9ia$2@dont-email.me> <vroj7a$21s06$1@dont-email.me>
 <vrpfao$2qbhf$1@dont-email.me> <vrr1mf$db46$1@dont-email.me>
 <vrrp0r$11a56$3@dont-email.me>
 <a6dd00c5734a5df50234affe9f0d9790b17e233e@i2pn2.org>
 <vrt3bi$264jb$3@dont-email.me>
 <f3eb4637823447e8d4da9cba580d51165bacf284@i2pn2.org>
 <vru7d4$38ob9$4@dont-email.me> <vrv2bh$26f8$1@dont-email.me>
 <vrv519$3t3k$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 25 Mar 2025 22:03:26 +0100 (CET)
Injection-Info: dont-email.me; posting-host="558cb3f1e92ebc1bf3f45b6c0d288267";
	logging-data="3724739"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19rGS5PUSjyGSicloWB6nPj"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:g45l71BOFMiylF/KWS8K56o8txk=
In-Reply-To: <vrv519$3t3k$2@dont-email.me>
Content-Language: en-US
Bytes: 3508

On 3/25/2025 4:51 PM, olcott wrote:
> On 3/25/2025 3:06 PM, Fred. Zwarts wrote:
>> Op 25.mrt.2025 om 13:26 schreef olcott:
>>> On 3/25/2025 6:19 AM, Richard Damon wrote:
>>>> On 3/24/25 10:10 PM, olcott wrote:
>>>>>
>>>>> I told you too damn many times that all this stuff
>>>>> is in the same global memory space of the compiled
>>>>> object file.
>>>>>
>>>>
>>>> And thus either all the global memory space is what is defined to be 
>>>> the input, and thus every case you think of is a different input,
>>>
>>> _DDD()
>>> [00002172] 55         push ebp      ; housekeeping
>>> [00002173] 8bec       mov  ebp,esp  ; housekeeping
>>> [00002175] 6872210000 push 00002172 ; push DDD
>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>>> [0000217f] 83c404     add  esp,+04
>>> [00002182] 5d         pop  ebp
>>> [00002183] c3         ret
>>> Size in bytes:(0018) [00002183]
>>>
>>> Correctly emulated is defined as emulated according to the
>>> semantics of the x86 language.
>>>
>>> The question does the machine code of DDD (the program under test)
>>> reach is own "ret" instruction when correctly emulated by HHH?
>>>
>>> is not effected by this.
>>>
>>
>> It is not very interesting to know whether a simulator is able to 
>> report that it did not reach the end of the simulation of a program 
>> that halts in direct execution.
> 
> I am just going to ignore you from now on.

Translation: I don't know how to refute this and I'm afraid to admit I'm 
wrong.

> 
>> It is interesting to know:
>> 'Is there an algorithm that can determine for all possible inputs 
>> whether the input specifies a program that (according to the semantics 
>> of the machine language) halts when directly executed?'
>> This question seems undecidable for Olcott.
>>
>>
>>
>>
> 
>