Liste des Groupes | Revenir à theory |
Am Sun, 23 Feb 2025 21:36:14 -0600 schrieb olcott:When you put code in an infinite loop then this code DOES NOT TERMINATEOn 2/23/2025 8:50 PM, Richard Damon wrote:The code is wrong. The call to HHH should return, because we know thatOn 2/23/25 12:32 PM, olcott wrote:In other words you "believe" that the call from DD to HHH(DD) returnsOn 2/22/2025 8:41 PM, dbush wrote:Just like a CORRECT emulation of DD would if the HHH doing theOn 2/22/2025 7:45 PM, olcott wrote:Not true. The stack eventually unwinds after ten emulations.On 2/22/2025 6:02 PM, Richard Damon wrote:Similarly, when no_numbers_greater_than_10 emulated by F calls F(0)On 2/22/25 11:52 AM, olcott wrote:*Correct simulation means emulates the machine code as specified*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-manOn 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 myOn 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 moreI have given everyone here all of the complete source codeTrue but irrelevant. OP did not specify that HHH means that
for a few years
particular code.
years has referred to variations of that same code.
something new and fresh.
key 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*
deception 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.
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.
When DD emulated by HHH calls HHH(DD) this call cannot possibly
return to the emulator, conclusively proving that
DD correctly simulated by HHH cannot possibly terminate normally by
reaching its own "return" instruction.
Assuming that it does return is simply stupid.
this call cannot possibly return to the emulator, conclusively
proving that
emulation didn't abort (but doing it by the hypothetical of NOT
changing the HHH that DD calls, since that must be the original HHH).
Your problem is you have lied to yourself about what is a "correct
emulation"
when the above DD is emulated by HHH.
This is proven to be counter-factual by anyone that understands the
above code.
HHH is a decider. You incorrectly turn off the abort check.
Les messages affichés proviennent d'usenet.