Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: DD correctly emulated by HHH --- Correct Emulation Defined
Date: Tue, 25 Mar 2025 21:06:09 +0100
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <vrv2bh$26f8$1@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 25 Mar 2025 21:06:10 +0100 (CET)
Injection-Info: dont-email.me; posting-host="6b3cf09831cef1bf798d729835c81b21";
	logging-data="72168"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/F3Fj7sMi2rDCCB5akZbnU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Q2+nH8rxOb3oTboxTxQrXtPJ2yI=
Content-Language: nl, en-GB
In-Reply-To: <vru7d4$38ob9$4@dont-email.me>
Bytes: 3078

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.
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.