Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal

Liste des GroupesRevenir à c theory 
Sujet : Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 25. Jul 2024, 16:35:33
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7tnrl$2anub$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Mozilla Thunderbird
On 7/25/2024 9:02 AM, Python wrote:
Le 25/07/2024 à 15:56, olcott a écrit :
...
If you care study the code that I just provided
(and don't just ignore this and assume that I must be wrong)
you can see that when DDD is correctly emulated by HHH that
DDD does correctly have different behavior than DDD correctly
emulated by HHH1.
 The same code emulated "correctly" twice with different behavior???
 You are definitely insane, Robert.
 
HHH(DDD) emulates DDD that calls HHH(DDD) in recursive simulation that must be aborted to prevent the non-termination of HHH.
HHH1(DDD) emulates DDD that calls HHH(DDD) in recursive simulation that must be aborted to prevent the non-termination of HHH.
N instructions of DDD correctly emulated by HHH are show below.
M instructions of DDD correctly emulated by HHH1 are show below.
Every rebuttal of this for the last three years was entirely
based on disagreeing with the semantics of the x86 instructions
of DDD.
typedef void (*ptr)();
int HHH(ptr P);
void DDD()
{
   HHH(DDD);
}
int main()
{
   HHH(DDD);
}
_DDD()
[00002177] 55         push ebp
[00002178] 8bec       mov ebp,esp
[0000217a] 6877210000 push 00002177
[0000217f] e853f4ffff call 000015d7
[00002184] 83c404     add esp,+04
[00002187] 5d         pop ebp
[00002188] c3         ret
Size in bytes:(0018) [00002188]
_main()
[00002197] 55         push ebp
[00002198] 8bec       mov ebp,esp
[0000219a] 6877210000 push 00002177
[0000219f] e863f3ffff call 00001507
[000021a4] 83c404     add esp,+04
[000021a7] 33c0       xor eax,eax
[000021a9] 5d         pop ebp
[000021aa] c3         ret
Size in bytes:(0020) [000021aa]
  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00002197][001037fb][00000000] 55         push ebp
[00002198][001037fb][00000000] 8bec       mov ebp,esp
[0000219a][001037f7][00002177] 6877210000 push 00002177 ; push DDD
[0000219f][001037f3][000021a4] e863f3ffff call 00001507 ; call HHH1
New slave_stack at:10389f
Begin Local Halt Decider Simulation   Execution Trace Stored at:1138a7
[00002177][00113897][0011389b] 55         push ebp
[00002178][00113897][0011389b] 8bec       mov ebp,esp
[0000217a][00113893][00002177] 6877210000 push 00002177 ; push DDD
[0000217f][0011388f][00002184] e853f4ffff call 000015d7 ; call HHH
New slave_stack at:14e2c7
Begin Local Halt Decider Simulation   Execution Trace Stored at:15e2cf
[00002177][0015e2bf][0015e2c3] 55         push ebp
[00002178][0015e2bf][0015e2c3] 8bec       mov ebp,esp
[0000217a][0015e2bb][00002177] 6877210000 push 00002177 ; push DDD
[0000217f][0015e2b7][00002184] e853f4ffff call 000015d7 ; call HHH
New slave_stack at:198cef
[00002177][001a8ce7][001a8ceb] 55         push ebp
[00002178][001a8ce7][001a8ceb] 8bec       mov ebp,esp
[0000217a][001a8ce3][00002177] 6877210000 push 00002177 ; push DDD
[0000217f][001a8cdf][00002184] e853f4ffff call 000015d7 ; call HHH
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
[00002184][00113897][0011389b] 83c404     add esp,+04
[00002187][0011389b][000015bc] 5d         pop ebp
[00002188][0011389f][0003a980] c3         ret
[000021a4][001037fb][00000000] 83c404     add esp,+04
[000021a7][001037fb][00000000] 33c0       xor eax,eax
[000021a9][001037ff][00000018] 5d         pop ebp
[000021aa][00103803][00000000] c3         ret
Number of Instructions Executed(352831) == 5266 Pages
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
12 Jul 24 * DDD correctly emulated by HHH is correctly rejected as non-halting V2214olcott
12 Jul 24 +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21Fred. Zwarts
13 Jul 24 +* Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V2186Richard Damon
13 Jul 24 i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2185olcott
13 Jul 24 i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Richard Damon
13 Jul 24 i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26olcott
13 Jul 24 i i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
13 Jul 24 i i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24joes
13 Jul 24 i i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23olcott
13 Jul 24 i i   +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
13 Jul 24 i i   `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
13 Jul 24 i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2177Fred. Zwarts
13 Jul 24 i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2176olcott
13 Jul 24 i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2171Fred. Zwarts
13 Jul 24 i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2170olcott
13 Jul 24 i   i +* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V215Richard Damon
13 Jul 24 i   i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V214olcott
13 Jul 24 i   i i `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V213Richard Damon
13 Jul 24 i   i i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V212olcott
13 Jul 24 i   i i   `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V211Richard Damon
13 Jul 24 i   i i    `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V210olcott
13 Jul 24 i   i i     `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V29Richard Damon
13 Jul 24 i   i i      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V28olcott
13 Jul 24 i   i i       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Richard Damon
13 Jul 24 i   i i        `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26olcott
13 Jul 24 i   i i         `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25Richard Damon
13 Jul 24 i   i i          `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
13 Jul 24 i   i i           `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V23Richard Damon
13 Jul 24 i   i i            `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V22olcott
13 Jul 24 i   i i             `- Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V21Richard Damon
13 Jul 24 i   i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2147joes
13 Jul 24 i   i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2146olcott
13 Jul 24 i   i i +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
13 Jul 24 i   i i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2144joes
13 Jul 24 i   i i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2143olcott
13 Jul 24 i   i i   +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
14 Jul 24 i   i i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2141joes
14 Jul 24 i   i i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2140olcott
14 Jul 24 i   i i     +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2138joes
14 Jul 24 i   i i     i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2137olcott
14 Jul 24 i   i i     i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
14 Jul 24 i   i i     i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2135joes
14 Jul 24 i   i i     i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2134olcott
14 Jul 24 i   i i     i   +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2125joes
15 Jul 24 i   i i     i   i+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V228olcott
15 Jul 24 i   i i     i   ii+- Re: DDD correctly emulated by HHH is IN*Correctly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   ii`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V226joes
15 Jul 24 i   i i     i   ii `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V225olcott
15 Jul 24 i   i i     i   ii  +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
16 Jul 24 i   i i     i   ii  +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   ii  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V222Mikko
16 Jul 24 i   i i     i   ii   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V221olcott
17 Jul 24 i   i i     i   ii    +- Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
17 Jul 24 i   i i     i   ii    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V219Mikko
17 Jul 24 i   i i     i   ii     `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V218olcott
17 Jul 24 i   i i     i   ii      +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V210Fred. Zwarts
17 Jul 24 i   i i     i   ii      i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V29olcott
17 Jul 24 i   i i     i   ii      i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
17 Jul 24 i   i i     i   ii      i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25joes
17 Jul 24 i   i i     i   ii      i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
17 Jul 24 i   i i     i   ii      i i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V22joes
17 Jul 24 i   i i     i   ii      i i i`- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21olcott
18 Jul 24 i   i i     i   ii      i i `- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      i +- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      i `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Mikko
18 Jul 24 i   i i     i   ii      +- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26Mikko
18 Jul 24 i   i i     i   ii       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25olcott
18 Jul 24 i   i i     i   ii        +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
19 Jul 24 i   i i     i   ii        `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23Mikko
19 Jul 24 i   i i     i   ii         `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V22olcott
19 Jul 24 i   i i     i   ii          `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V296Mike Terry
15 Jul 24 i   i i     i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V295olcott
15 Jul 24 i   i i     i   i  +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25Fred. Zwarts
15 Jul 24 i   i i     i   i  i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
15 Jul 24 i   i i     i   i  i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
15 Jul 24 i   i i     i   i  i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
16 Jul 24 i   i i     i   i  i `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i  +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V286joes
15 Jul 24 i   i i     i   i  i+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V282olcott
15 Jul 24 i   i i     i   i  ii+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V280joes
15 Jul 24 i   i i     i   i  iii`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V279olcott
15 Jul 24 i   i i     i   i  iii +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
15 Jul 24 i   i i     i   i  iii +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V276joes
15 Jul 24 i   i i     i   i  iii i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V275olcott
16 Jul 24 i   i i     i   i  iii i +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  iii i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V273joes
16 Jul 24 i   i i     i   i  iii i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V272olcott
16 Jul 24 i   i i     i   i  iii i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V269joes
17 Jul 24 i   i i     i   i  iii i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V268olcott
19 Jul 24 i   i i     i   i  iii i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V267Mikko
19 Jul 24 i   i i     i   i  iii i   i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V266olcott
20 Jul 24 i   i i     i   i  iii i   i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V265Mikko
20 Jul 24 i   i i     i   i  iii i   i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V264olcott
20 Jul 24 i   i i     i   i  iii i   i     +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
21 Jul 24 i   i i     i   i  iii i   i     `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V262Mikko
21 Jul 24 i   i i     i   i  iii i   i      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V261olcott
21 Jul 24 i   i i     i   i  iii i   i       +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
21 Jul 24 i   i i     i   i  iii i   i       +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
22 Jul 24 i   i i     i   i  iii i   i       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V258Mikko
16 Jul 24 i   i i     i   i  iii i   +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
17 Jul 24 i   i i     i   i  iii i   `- Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  iii `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  ii`- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i  i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23Mike Terry
15 Jul 24 i   i i     i   i  `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V23Richard Damon
15 Jul 24 i   i i     i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Mikko
14 Jul 24 i   i i     `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
14 Jul 24 i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Mikko
13 Jul 24 i   +* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V23Richard Damon
13 Jul 24 i   `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
13 Jul 24 +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V22Mikko
14 Jul 24 `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V224Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal