Re: DD correctly emulated by HHH --- Correct Emulation Defined

Liste des GroupesRevenir à theory 
Sujet : Re: DD correctly emulated by HHH --- Correct Emulation Defined
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theory
Date : 25. Mar 2025, 22:03:26
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vrv5mt$3hle3$13@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
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.
>
>
>
>
 

Date Sujet#  Auteur
20 Mar 25 * DDD correctly emulated by HHH --- Correct Emulation Defined489olcott
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined450Mikko
20 Mar 25 i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined449olcott
21 Mar 25 i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined441Richard Damon
21 Mar 25 i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined440olcott
21 Mar 25 i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined436Mikko
21 Mar 25 i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined435olcott
22 Mar 25 i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined433Richard Damon
22 Mar 25 i i i i`* DDD correctly emulated by HHH --- Correct Emulation Defined 2432olcott
22 Mar 25 i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2427Richard Damon
22 Mar 25 i i i i i+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 25olcott
22 Mar 25 i i i i ii+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 23Richard Damon
22 Mar 25 i i i i iii`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 22olcott
22 Mar 25 i i i i iii `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Richard Damon
22 Mar 25 i i i i ii`- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Mikko
22 Mar 25 i i i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum421olcott
22 Mar 25 i i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum419joes
22 Mar 25 i i i i i i`* III correctly emulated by EEE ---418olcott
22 Mar 25 i i i i i i +* Re: III correctly emulated by EEE ---416Richard Damon
22 Mar 25 i i i i i i i`* Re: III correctly emulated by EEE ---415olcott
23 Mar 25 i i i i i i i +* Re: III correctly emulated by EEE ---413Richard Damon
23 Mar 25 i i i i i i i i`* Re: III correctly emulated by EEE ---412olcott
23 Mar 25 i i i i i i i i `* Re: III correctly emulated by EEE ---411Richard Damon
23 Mar 25 i i i i i i i i  `* Re: III correctly emulated by EEE ---410olcott
23 Mar 25 i i i i i i i i   `* Re: III correctly emulated by EEE ---409Richard Damon
23 Mar 25 i i i i i i i i    `* Re: III correctly emulated by EEE ---408olcott
24 Mar 25 i i i i i i i i     `* Re: III correctly emulated by EEE ---407Richard Damon
24 Mar 25 i i i i i i i i      `* Re: III correctly emulated by EEE ---406olcott
24 Mar 25 i i i i i i i i       `* Re: III correctly emulated by EEE ---405Richard Damon
24 Mar 25 i i i i i i i i        `* Re: III correctly emulated by EEE ---404olcott
25 Mar 25 i i i i i i i i         `* Re: III correctly emulated by EEE ---403Richard Damon
25 Mar 25 i i i i i i i i          +* Re: III correctly emulated by EEE ---389olcott
25 Mar 25 i i i i i i i i          i+* Re: III correctly emulated by EEE ---387joes
25 Mar 25 i i i i i i i i          ii`* Re: III correctly emulated by EEE ---386olcott
25 Mar 25 i i i i i i i i          ii `* Re: III correctly emulated by EEE ---385joes
25 Mar 25 i i i i i i i i          ii  `* Re: III correctly emulated by EEE ---384olcott
26 Mar 25 i i i i i i i i          ii   +* Re: III correctly emulated by EEE ---382Richard Damon
26 Mar 25 i i i i i i i i          ii   i`* Re: III correctly emulated by EEE ---381olcott
26 Mar 25 i i i i i i i i          ii   i `* Re: III correctly emulated by EEE ---380Richard Damon
26 Mar 25 i i i i i i i i          ii   i  `* Re: III correctly emulated by EEE ---379olcott
27 Mar 25 i i i i i i i i          ii   i   `* Re: III correctly emulated by EEE ---378Richard Damon
27 Mar 25 i i i i i i i i          ii   i    `* DDD specifies recursive emulation to HHH and halting to HHH1377olcott
27 Mar 25 i i i i i i i i          ii   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH139Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH138olcott
27 Mar 25 i i i i i i i i          ii   i     i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH136Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  +* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i  i`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH133olcott
27 Mar 25 i i i i i i i i          ii   i     i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH131joes
28 Mar 25 i i i i i i i i          ii   i     i   i+* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i   ii`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH128olcott
28 Mar 25 i i i i i i i i          ii   i     i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH127Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH126olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH122Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH121olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH120Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH119olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH118Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH117olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH18Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH16Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH15olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH14Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH12Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i      `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
29 Mar 25 i i i i i i i i          ii   i     i   i   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH18Mikko
29 Mar 25 i i i i i i i i          ii   i     i   i   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i       +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH14joes
29 Mar 25 i i i i i i i i          ii   i     i   i   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i       i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
30 Mar 25 i i i i i i i i          ii   i     i   i   i       i `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
30 Mar 25 i i i i i i i i          ii   i     i   i   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Mikko
28 Mar 25 i i i i i i i i          ii   i     i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH13joes
28 Mar 25 i i i i i i i i          ii   i     i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
29 Mar 25 i i i i i i i i          ii   i     i   i     `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
28 Mar 25 i i i i i i i i          ii   i     i   `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1337Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1336olcott
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH1319dbush
28 Mar 25 i i i i i i i i          ii   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH1318olcott
28 Mar 25 i i i i i i i i          ii   i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH1317dbush
28 Mar 25 i i i i i i i i          ii   i       i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH1316olcott
28 Mar 25 i i i i i i i i          ii   i       i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH1315dbush
28 Mar 25 i i i i i i i i          ii   i       i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH1314olcott
28 Mar 25 i i i i i i i i          ii   i       i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1313dbush
28 Mar 25 i i i i i i i i          ii   i       i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1312olcott
28 Mar 25 i i i i i i i i          ii   i       i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH160dbush
28 Mar 25 i i i i i i i i          ii   i       i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH159olcott
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH142dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH141olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH137dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH136olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111joes
28 Mar 25 i i i i i i i i          ii   i       i       i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH110olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH13dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar 25 i i i i i i i i          ii   i       i       i i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH123dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH13Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       `* Re: DDD specifies recursive emulation to HHH and halting to HHH1251Richard Damon
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH17Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH18joes
28 Mar 25 i i i i i i i i          ii   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
26 Mar 25 i i i i i i i i          ii   `- Re: III correctly emulated by EEE ---1joes
25 Mar 25 i i i i i i i i          i`- Re: III correctly emulated by EEE ---1Richard Damon
25 Mar 25 i i i i i i i i          `* Re: III correctly emulated by EEE ---13olcott
23 Mar 25 i i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
23 Mar 25 i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
22 Mar 25 i i i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum1Richard Damon
22 Mar 25 i i i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 24Mikko
22 Mar 25 i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined1Mikko
21 Mar 25 i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
21 Mar 25 i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined7Mikko
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
22 Mar 25 `* DDD correctly emulated by EEE --- Correct Emulation Defined35olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal