Liste des Groupes | Revenir à theory |
On 2/23/2025 5:52 AM, joes wrote:But the loop is not infinite if it is a decider.Am Sat, 22 Feb 2025 18:45:06 -0600 schrieb olcott:When a decider itself is called in an infinite loopOn 2/22/2025 6:02 PM, Richard Damon wrote:It's not about the machine code. The machine code of HHH specifies aOn 2/22/25 11:52 AM, olcott wrote:>On 2/22/2025 5:05 AM, joes wrote:Only because that statement is based on a false premise.Am Thu, 20 Feb 2025 18:25:27 -0600 schrieb olcott:Despicably intentionally dishonest attempts at the straw-man deceptionOn 2/20/2025 4:38 PM, Alan Mackenzie wrote:Honestly, you're gonna die first, one way or the other.olcott <polcott333@gmail.com> wrote:As soon as people fully address rather than endlessly dodge my keyOn 2/20/2025 2:38 AM, Mikko wrote:>On 2025-02-20 00:31:33 +0000, olcott said:Yes. It would be a relief if you could move on to postingEvery post that I have been talking about for two or more yearsI have given everyone here all of the complete source code for aTrue but irrelevant. OP did not specify that HHH means that
few years
particular code.
has referred to variations of that same code.
something new and fresh.
points I will be done.
>Let's start with a root point.Since DD halts, that's dead in the water.
All of the other points validate this root point.
*Simulating termination analyzer HHH correctly determines*
*the non-halt status of DD*
aside:
DD correctly simulated by HHH cannot possibly terminate normally by
reaching its own "return" instruction.
Since HHH doesn't correctly simulate its input, your statement is just
a fabrication of your imagination.
*Correct simulation means emulates the machine code as specified* It
cannot mean imagining a different sequence than the one that the machine
code specifies. That most people here are clueless about x86 machine
code is far less than no rebuttal at all.
sequence where simulation is aborted, but you simulate the non-input
of a non-aborting HHH. This is not the HHH that does the simulation.
>When DD emulated by HHH calls HHH(DD) this call cannot possibly returnThat's bad. A decider like HHH is supposed to return.
to the emulator, conclusively proving that
>
then it cannot possibly terminate unless a version
of itself its emulating this instance of itself.
In this case the infinite loop instance MUST BE ABORTED.But DD is NOT correctly simulated by HHH since the machine that runs DD doesn't self-distruct at the point that HHH aborts its simulation.
_DD()
[00002133] 55 push ebp ; housekeeping
[00002134] 8bec mov ebp,esp ; housekeeping
[00002136] 51 push ecx ; make space for local
[00002137] 6833210000 push 00002133 ; push DD
[0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
[00002141] 83c404 add esp,+04
[00002144] 8945fc mov [ebp-04],eax
[00002147] 837dfc00 cmp dword [ebp-04],+00
[0000214b] 7402 jz 0000214f
[0000214d] ebfe jmp 0000214d
[0000214f] 8b45fc mov eax,[ebp-04]
[00002152] 8be5 mov esp,ebp
[00002154] 5d pop ebp
[00002155] c3 ret
Size in bytes:(0035) [00002155]
When DD is correctly simulated by HHH according to the behavior
that the above machine code specifies then the call from DD
to HHH(DD) cannot possibly return making it impossible for DD
emulated by HHH to terminate normally.
Les messages affichés proviennent d'usenet.