Liste des Groupes | Revenir à theory |
On 10/17/2024 6:09 AM, Richard Damon wrote:On 10/16/24 8:55 PM, olcott wrote:On 10/16/2024 7:37 PM, Richard Damon wrote:On 10/16/24 8:25 PM, olcott wrote:On 10/16/2024 6:44 AM, Richard Damon wrote:On 10/15/24 10:23 PM, olcott wrote:On 10/15/2024 9:11 PM, Richard Damon wrote:On 10/15/24 4:01 PM, olcott wrote:On 10/15/2024 2:33 PM, joes wrote:Am Tue, 15 Oct 2024 13:25:36 -0500 schrieb olcott:On 10/15/2024 10:17 AM, joes wrote:Am Tue, 15 Oct 2024 08:11:30 -0500 schrieb olcott:On 10/15/2024 6:35 AM, Richard Damon wrote:On 10/14/24 10:13 PM, olcott wrote:On 10/14/2024 6:50 PM, Richard Damon wrote:On 10/14/24 11:18 AM, olcott wrote:
Right, but just because N steps don't get to the return, doesn't meanYou are responding to something that I did not say.Nope, not to a degree that determine the final behavior of the input.HHH is correctly emulating (not simulating) the x86 language finiteYes it does.It has no effect on the trace itself.No, that code is still active. it is the source of the value forThere is some code that was obsolete several years ago.Oh, did you take out the check if HHH is the root simulator?There are no static root variables. There never has been anyYes! It really has different code, by way of the static RootI did that, and it admitted that DDD halts, it just triesIt explains in great detail that another different DDD (same
to justify why a wrong answer must be right.
machine code different process context) seems to terminate
only because the recursive emulation that it specifies has
been aborted at its second recursive call.
variable.
No wonder it behaves differently.
"not a pure function of its inputs" aspect to emulation.
the variable Root that is passed around, and is checked in the
code to alter the behavior.
string of DDD including emulating the finite string of itself
emulating the finite string of DDD up until the point where the
emulated emulated DDD would call HHH(DDD) again.
HHH correctly emulates N steps of DDD therefore N steps of DDD are
correctly emulated by HHH.
that the input doesn't return.
Les messages affichés proviennent d'usenet.