• Re: A state transition diagram proves ... GOOD PROGRESS

    From joes@21:1/5 to All on Fri Oct 18 14:41:55 2024
    XPost: sci.logic

    Am Fri, 18 Oct 2024 09:10:04 -0500 schrieb olcott:
    On 10/18/2024 6:17 AM, Richard Damon wrote:
    On 10/17/24 11:47 PM, olcott wrote:
    On 10/17/2024 10:27 PM, Richard Damon wrote:
    On 10/17/24 9:47 PM, olcott wrote:
    On 10/17/2024 8:13 PM, Richard Damon wrote:
    On 10/17/24 7:31 PM, olcott wrote:

    When DDD is correctly emulated by HHH according to the semantics >>>>>>> of the x86 language DDD cannot possibly reach its own machine
    address [00002183] no matter what HHH does.
    [00002172]-->[00002173]-->[00002175]-->[0000217a]--+

    Except that 0000217a doesn't go to 00002172, but to 000015d2

    The Emulating HHH sees those addresses at its begining and then never
    again.
    Then the HHH that it is emulating will see those addresses, but not the
    outer one that is doing that emulation of HHH.
    And so on.
    Which HHH do you think EVER gets back to 00002172?
    What instruction do you think that it emulates that would tell it to do
    so?

    At best the trace is:
    00002172 00002173 00002175 0000217a conditional emulation of 00002172
    conditional emulation of 00002173 conditional emulation of 00002175
    conditional emulation of 0000217a CE of CE of 00002172 ...
    OK great this is finally good progress.
    The more interesting part is HHH simulating itself, specifically the
    if(Root) check on line 502.

    and if HHH decides to abort its emulation, it also should know that
    every level of condition emulation it say will also do the same thing,
    If I understand his words correctly Mike has already disagreed with
    this.
    He hasn't.

    Message-ID: <[email protected]>
    On 3/1/2024 12:41 PM, Mike Terry wrote:
    Obviously a simulator has access to the internal state (tape contents etc.) of the simulated machine. No problem there.
    This seems to indicate that the Turing machine UTM version of HHH can
    somehow see each of the state transitions of the DDD resulting from
    emulating its own Turing machine description emulating DDD.
    Of course. It needs to, in order to simulate it. Strictly speaking
    it has no idea of its simulation of a simulation two levels down,
    only of the immediate simulation; the rest is just part of whatever
    program the simulated simulator is simulating, which happens to be
    itself.

    *Joes can't seem to understand this*
    Only the outer-most HHH meets its abort criteria first, thus unless it
    aborts as soon as it meets this criteria none of them will ever abort.
    This is very simple to understand. Almost as simple as: even if only
    the outermost HHH didn't abort, it would still halt, since it is
    simulating a halting program: the nested version will abort.

    and thus the call HHH at 0000217a will be returned from, > and HHH has
    no idea what will happen after that, so it KNOWS it is ignorant of the
    answer.
    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Fri Oct 18 17:00:38 2024
    XPost: sci.logic

    Am Fri, 18 Oct 2024 11:39:52 -0500 schrieb olcott:
    On 10/18/2024 9:41 AM, joes wrote:
    Am Fri, 18 Oct 2024 09:10:04 -0500 schrieb olcott:
    On 10/18/2024 6:17 AM, Richard Damon wrote:
    On 10/17/24 11:47 PM, olcott wrote:
    On 10/17/2024 10:27 PM, Richard Damon wrote:
    On 10/17/24 9:47 PM, olcott wrote:
    On 10/17/2024 8:13 PM, Richard Damon wrote:
    On 10/17/24 7:31 PM, olcott wrote:

    When DDD is correctly emulated by HHH according to the semantics >>>>>>>>> of the x86 language DDD cannot possibly reach its own machine >>>>>>>>> address [00002183] no matter what HHH does.
    [00002172]-->[00002173]-->[00002175]-->[0000217a]--+

    Except that 0000217a doesn't go to 00002172, but to 000015d2

    The Emulating HHH sees those addresses at its begining and then never
    again.
    Then the HHH that it is emulating will see those addresses, but not
    the outer one that is doing that emulation of HHH.
    And so on.
    Which HHH do you think EVER gets back to 00002172?
    What instruction do you think that it emulates that would tell it to
    do so?
    At best the trace is:
    00002172 00002173 00002175 0000217a conditional emulation of 00002172
    conditional emulation of 00002173 conditional emulation of 00002175
    conditional emulation of 0000217a CE of CE of 00002172 ...
    OK great this is finally good progress.
    The more interesting part is HHH simulating itself, specifically the
    if(Root) check on line 502.
    That has nothing to do with any aspect of the emulation until HHH has correctly emulated itself emulating DDD.
    What? That is part of HHH, not DDD.

    and if HHH decides to abort its emulation, it also should know that
    every level of condition emulation it say will also do the same
    thing,
    If I understand his words correctly Mike has already disagreed with
    this.
    He hasn't.

    Message-ID: <[email protected]>
    On 3/1/2024 12:41 PM, Mike Terry wrote:
    > Obviously a simulator has access to the internal state (tape
    > contents etc.) of the simulated machine. No problem there.
    This seems to indicate that the Turing machine UTM version of HHH can
    somehow see each of the state transitions of the DDD resulting from
    emulating its own Turing machine description emulating DDD.
    Of course. It needs to, in order to simulate it. Strictly speaking it
    has no idea of its simulation of a simulation two levels down, only of
    the immediate simulation; the rest is just part of whatever program the
    simulated simulator is simulating, which happens to be itself.
    From the concrete execution trace of DDD emulated by HHH
    according to the semantics of the x86 language people with sufficient technical competence can see that the halt status criteria that
    professor Sipser agreed to has been met.

    If emulating termination analyzer HHH emulates its input DDD
    until HHH determines that
    its emulated DDD would never stop running unless aborted ...
    But it would.

    *Joes can't seem to understand this*
    Only the outer-most HHH meets its abort criteria first, thus unless it
    aborts as soon as it meets this criteria none of them will ever abort.
    This is very simple to understand. Almost as simple as: even if only
    the outermost HHH didn't abort, it would still halt,
    Yet that is based on the factually incorrect assumption that every
    instance of HHH does not use the exact same machine code.
    Same as the outer HHH returning that the inner ones wouldn't.

    since it is simulating a halting program: the nested version will
    abort.
    and thus the call HHH at 0000217a will be returned from, > and HHH
    has no idea what will happen after that, so it KNOWS it is ignorant
    of the answer.
    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Fri Oct 18 19:10:05 2024
    Am Fri, 18 Oct 2024 12:11:17 -0500 schrieb olcott:
    On 10/18/2024 12:00 PM, joes wrote:
    Am Fri, 18 Oct 2024 11:39:52 -0500 schrieb olcott:
    On 10/18/2024 9:41 AM, joes wrote:
    Am Fri, 18 Oct 2024 09:10:04 -0500 schrieb olcott:
    On 10/18/2024 6:17 AM, Richard Damon wrote:
    On 10/17/24 11:47 PM, olcott wrote:
    On 10/17/2024 10:27 PM, Richard Damon wrote:
    On 10/17/24 9:47 PM, olcott wrote:
    On 10/17/2024 8:13 PM, Richard Damon wrote:
    On 10/17/24 7:31 PM, olcott wrote:

    When DDD is correctly emulated by HHH according to the
    semantics of the x86 language DDD cannot possibly reach its >>>>>>>>>>> own machine address [00002183] no matter what HHH does.
    [00002172]-->[00002173]-->[00002175]-->[0000217a]--+

    Except that 0000217a doesn't go to 00002172, but to 000015d2

    The Emulating HHH sees those addresses at its begining and then
    never again.
    Then the HHH that it is emulating will see those addresses, but not >>>>>> the outer one that is doing that emulation of HHH.
    And so on.
    Which HHH do you think EVER gets back to 00002172?
    What instruction do you think that it emulates that would tell it
    to do so?
    At best the trace is:
    00002172 00002173 00002175 0000217a conditional emulation of
    00002172 conditional emulation of 00002173 conditional emulation of >>>>>> 00002175 conditional emulation of 0000217a CE of CE of 00002172 ... >>>>> OK great this is finally good progress.
    The more interesting part is HHH simulating itself, specifically the
    if(Root) check on line 502.
    That has nothing to do with any aspect of the emulation until HHH has
    correctly emulated itself emulating DDD.
    What? That is part of HHH, not DDD.
    Until if (root) is true it has no effect on DDD emulated by HHH.
    The existence of the check has an effect right from the start;
    besides, it is true the first time it is executed.

    Message-ID: <[email protected]>
    On 3/1/2024 12:41 PM, Mike Terry wrote:
    > Obviously a simulator has access to the internal state (tape
    > contents etc.) of the simulated machine. No problem there.
    This seems to indicate that the Turing machine UTM version of HHH
    can somehow see each of the state transitions of the DDD resulting
    from emulating its own Turing machine description emulating DDD.
    Of course. It needs to, in order to simulate it. Strictly speaking it
    has no idea of its simulation of a simulation two levels down, only
    of the immediate simulation; the rest is just part of whatever
    program the simulated simulator is simulating, which happens to be
    itself.
    From the concrete execution trace of DDD emulated by HHH
    according to the semantics of the x86 language people with sufficient
    technical competence can see that the halt status criteria that
    professor Sipser agreed to has been met.
    If emulating termination analyzer HHH emulates its input DDD
    until HHH determines that its emulated DDD would never stop
    running unless aborted ...
    But it would.

    *Joes can't seem to understand this*
    Only the outer-most HHH meets its abort criteria first, thus unless
    it aborts as soon as it meets this criteria none of them will ever
    abort.
    This is very simple to understand. Almost as simple as: even if only
    the outermost HHH didn't abort, it would still halt,
    Yet that is based on the factually incorrect assumption that every
    instance of HHH does not use the exact same machine code.
    Same as the outer HHH returning that the inner ones wouldn't.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Alan Mackenzie@21:1/5 to olcott on Fri Oct 18 19:51:19 2024
    olcott <[email protected]> wrote:
    On 10/18/2024 2:10 PM, joes wrote:

    The existence of the check has an effect right from the start;
    besides, it is true the first time it is executed.

    So maybe you have ADD too. You can't seem to pay
    attention when things are explained to you many
    different times several different ways.

    What you call "explaining" is in actual fact the assertion of
    falsehoods. This is usually called lying. The variable Root does
    indeed affect your program.

    The root variable has no effect on any aspect
    of the emulation until the root variable has been
    tested.

    Swallowing deadly poison has no effect on any aspect of life until it
    kills you.

    --
    Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --
    Alan Mackenzie (Nuremberg, Germany).

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Fri Oct 18 21:24:43 2024
    Am Fri, 18 Oct 2024 15:18:46 -0500 schrieb olcott:
    On 10/18/2024 2:51 PM, Alan Mackenzie wrote:
    olcott <[email protected]> wrote:
    On 10/18/2024 2:10 PM, joes wrote:

    The existence of the check has an effect right from the start;
    besides, it is true the first time it is executed.
    So maybe you have ADD too. You can't seem to pay attention when things
    are explained to you many different times several different ways.
    What you call "explaining" is in actual fact the assertion of
    falsehoods. This is usually called lying.
    The variable Root does indeed affect your program.
    *I never say that it didn't*
    You said nothing at all. Productive communication would have included
    an agreement and clarification.

    The "root" variable has NO EFFECT WHAT-SO-EVER on the correctness or completeness of HHH emulating itself emulating DDD until this DDD calls HHH(DDD).
    DDD does nothing else but call HHH, and Root is part of HHH, so is
    simulated the first time around.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Fri Oct 18 19:06:19 2024
    XPost: sci.logic

    On 10/18/24 10:10 AM, olcott wrote:
    On 10/18/2024 6:17 AM, Richard Damon wrote:
    On 10/17/24 11:47 PM, olcott wrote:
    On 10/17/2024 10:27 PM, Richard Damon wrote:
    On 10/17/24 9:47 PM, olcott wrote:
    On 10/17/2024 8:13 PM, Richard Damon wrote:
    On 10/17/24 7:31 PM, olcott wrote:
    _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]

    When DDD is correctly emulated by HHH according
    to the semantics of the x86 language DDD cannot
    possibly reach its own machine address [00002183]
    no matter what HHH does.

    [00002172]-->[00002173]-->[00002175]-->[0000217a]--+
    +------------------------------------------------------+

    That may not line up that same way when view




    https://en.wikipedia.org/wiki/State_diagram



    Except that 0000217a doesn't go to 00002172, but to 000015d2


    IS THIS OVER YOUR HEAD?
    What is the first machine address of DDD that HHH
    emulating itself emulating DDD would reach?


    Yes, HHH EMULATES the code at that address,

    Which HHH emulates what code at which address?


    Everyone, just once, which you should know, but ignore.

    The Emulating HHH sees those addresses at its begining and then never
    again.

    Then the HHH that it is emulating will see those addresses, but not
    the outer one that is doing that emulation of HHH.

    Then the HHH that the second HHH is emulating will, but neither of the
    outer 2 HHH.

    And so on.

    Which HHH do you think EVER gets back to 00002172?

    What instruction do you think that it emulates that would tell it to
    do so?

    It isn't the call instruction at 0000217a, as that tells it to go into
    HHH.

    At best the trace is:

    00002172
    00002173
    00002175
    0000217a
    conditional emulation of 00002172
    conditional emulation of 00002173
    conditional emulation of 00002175
    conditional emulation of 0000217a
    CE of CE of 00002172
    ...


    OK great this is finally good progress.

    The "state" never repeats, it is alway a new state,

    Every emulated DDD has an identical process state at every point
    in its emulation trace when adjusting for different top of stack values.


    Nope, remember, each of those levels are CONDITIONAL, and thus, if HHH
    is defined to abort its simulaiton, as it is, then none of the HHH's
    actually NEED To abort, as if they were changed (without changing their
    input, so it still calls the HHH that does abort, per the definition of
    the problem), then that emulation would go to the point where it sees
    the emulator it is emulating abort its emulation and return.

    Your LIE is based on trying to change the input when you do this
    hypothetcal step, which you are not allowed to do, as then you are just
    showing you are LYING about talking about the behavior of the specifed
    behavior of DDD, which includes ALL of the code it uses, including that
    of HHH.


    and if HHH decides to abort its emulation, it also should know that
    every level of condition emulation it say will also do the same thing,

    If I understand his words correctly Mike has already disagreed
    with this. Let's see if you can understand my reasoning.


    Big *IF*, I beleive he has pointed out that you don't understand his
    words correctly

    Not exactly. Each HHH can only abort its emulation when its
    abort criteria has been met. The outermost HHH can see one
    more execution trace than the next inner one thus meets its
    abort criteria first.

    Sort of, Each HHH *WILL* abort its emulation when its abort criteria has
    been met, and the abortion of the emulation of that machine doesn't
    "stop" the behavior of that machine, only the behavior of the partial emulation, which isn't the same thing.


    Message-ID: <[email protected]>
    On 3/1/2024 12:41 PM, Mike Terry wrote:

    Obviously a simulator has access to the internal state
    (tape contents etc.) of the simulated machine. No problem
    there.


    Yes, it could be posible for HHH to somehow figure out what HHH is doing
    and detetect that it has started another layer of emulation. The issue
    is that HHH needs to KNOW that it is emulating a copy of itself, which
    you only detect by using a non-turing complete system.

    This seems to indicate that the Turing machine UTM version of
    HHH can somehow see each of the state transitions of the DDD
    resulting from emulating its own Turing machine description
    emulating DDD.

    The problem is detecting that it *IS* running a copy of itself. This is
    the problem I have been pointing out to youy for years.


    Even though this is a little different for Turing machines it
    is equivalent in essence to HHH being able to see the steps of
    the DDD resulting from HHH emulating itself emulating this DDD.

    But you can only detect that your are emulating HHH because of your
    non-turing complete system.


    *Joes can't seem to understand this*
    Only the outer-most HHH meets its abort criteria first, thus
    unless it aborts as soon as it meets this criteria none of
    them will ever abort.

    No, it only meets its criteria first in its reference frame. The machine
    that it is emulating doesn't know (and its behavior doesn't care) that
    it is being emulated, and that just continues till it get to the same point.

    You just don't seem to understand that "behavior" doesn't require the
    actual performance of it, but is a mathematical concept that comes into existance the moment the program is created. We just don't KNOW what
    that behavior is until we something to find out about it.


    and thus the call HHH at 0000217a will be returned from, > and HHH has
    no idea what will happen after that, so it KNOWS it is ignorant of the
    answer.


    That you don't quite yet understand the preceding points
    will make it impossible for you to understand any reply
    to the above point.


    No, YOU are just showing you don't understand the difference between the
    TRUTH of the behavior, which was established when the program was
    created, and the KNOWLEDGE of that behavior, that HHH never actually
    gets, because it stops too soon.

    But then, that has been one of your problems for years, not
    understanding the difference between Truth and Knowledge.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Fri Oct 18 19:19:09 2024
    XPost: sci.logic

    On 10/18/24 12:39 PM, olcott wrote:
    On 10/18/2024 9:41 AM, joes wrote:
    Am Fri, 18 Oct 2024 09:10:04 -0500 schrieb olcott:
    On 10/18/2024 6:17 AM, Richard Damon wrote:
    On 10/17/24 11:47 PM, olcott wrote:
    On 10/17/2024 10:27 PM, Richard Damon wrote:
    On 10/17/24 9:47 PM, olcott wrote:
    On 10/17/2024 8:13 PM, Richard Damon wrote:
    On 10/17/24 7:31 PM, olcott wrote:

    When DDD is correctly emulated by HHH according to the semantics >>>>>>>>> of the x86 language DDD cannot possibly reach its own machine >>>>>>>>> address [00002183] no matter what HHH does.
    [00002172]-->[00002173]-->[00002175]-->[0000217a]--+

    Except that 0000217a doesn't go to 00002172, but to 000015d2

    The Emulating HHH sees those addresses at its begining and then never
    again.
    Then the HHH that it is emulating will see those addresses, but not the >>>> outer one that is doing that emulation of HHH.
    And so on.
    Which HHH do you think EVER gets back to 00002172?
    What instruction do you think that it emulates that would tell it to do >>>> so?

    At best the trace is:
    00002172 00002173 00002175 0000217a conditional emulation of 00002172
    conditional emulation of 00002173 conditional emulation of 00002175
    conditional emulation of 0000217a CE of CE of 00002172 ...
    OK great this is finally good progress.
    The more interesting part is HHH simulating itself, specifically the
    if(Root) check on line 502.


    That has nothing to do with any aspect of the emulation
    until HHH has correctly emulated itself emulating DDD.

    and if HHH decides to abort its emulation, it also should know that
    every level of condition emulation it say will also do the same thing,
    If I understand his words correctly Mike has already disagreed with
    this.
    He hasn't.

    Message-ID: <[email protected]>
    On 3/1/2024 12:41 PM, Mike Terry wrote:
      > Obviously a simulator has access to the internal state (tape
    contents
      > etc.) of the simulated machine. No problem there.
    This seems to indicate that the Turing machine UTM version of HHH can
    somehow see each of the state transitions of the DDD resulting from
    emulating its own Turing machine description emulating DDD.

    Of course. It needs to, in order to simulate it. Strictly speaking
    it has no idea of its simulation of a simulation two levels down,
    only of the immediate simulation; the rest is just part of whatever
    program the simulated simulator is simulating, which happens to be
    itself.


    From the concrete execution trace of DDD emulated by HHH
    according to the semantics of the x86 language people with
    sufficient technical competence can see that the halt status
    criteria that professor Sipser agreed to has been met.

    Nope.

    Proven previously and you accepted by default by not pointing out an error.

    Your HHH neither "correctly simulated" per his definitions or correctly predicts the behavior of such a simulation, and thus never acheived the required criteria.

    All you have done is proved you lie.


    <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
        If simulating halt decider H correctly simulates its input D
        until H correctly determines that its simulated D would never
        stop running unless aborted then

        H can abort its simulation of D and correctly report that D
        specifies a non-halting sequence of configurations.
    </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

    I will paraphrase this to use clearer language that directly applies
    to HHH and DDD.

        If emulating termination analyzer HHH emulates its input DDD
        according to the semantics of the x86 language (including HHH
        emulating itself emulating DDD) until HHH correctly determines
        that its emulated DDD would never stop running unless aborted
        then ...

        HHH can abort its emulation of DDD and correctly report that DDD
        specifies a non-terminating sequence of x86 instructions.

    *Joes can't seem to understand this*
    Only the outer-most HHH meets its abort criteria first, thus unless it
    aborts as soon as it meets this criteria none of them will ever abort.

    This is very simple to understand. Almost as simple as: even if only
    the outermost HHH didn't abort, it would still halt,

    Yet that is based on the factually incorrect assumption
    that every instance of HHH does not use the exact same
    machine code.

    Since you should know that this assumption is factually
    incorrect I could it as flat out dishonestly on your part.

    since it is
    simulating a halting program: the nested version will abort.

    and thus the call HHH at 0000217a will be returned from, > and HHH has >>>> no idea what will happen after that, so it KNOWS it is ignorant of the >>>> answer.



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Fri Oct 18 22:49:12 2024
    XPost: sci.logic

    On 10/18/24 9:04 PM, olcott wrote:
    On 10/18/2024 6:19 PM, Richard Damon wrote:
    On 10/18/24 12:39 PM, olcott wrote:
    On 10/18/2024 9:41 AM, joes wrote:
    Am Fri, 18 Oct 2024 09:10:04 -0500 schrieb olcott:
    On 10/18/2024 6:17 AM, Richard Damon wrote:
    On 10/17/24 11:47 PM, olcott wrote:
    On 10/17/2024 10:27 PM, Richard Damon wrote:
    On 10/17/24 9:47 PM, olcott wrote:
    On 10/17/2024 8:13 PM, Richard Damon wrote:
    On 10/17/24 7:31 PM, olcott wrote:

    When DDD is correctly emulated by HHH according to the semantics >>>>>>>>>>> of the x86 language DDD cannot possibly reach its own machine >>>>>>>>>>> address [00002183] no matter what HHH does.
    [00002172]-->[00002173]-->[00002175]-->[0000217a]--+

    Except that 0000217a doesn't go to 00002172, but to 000015d2

    The Emulating HHH sees those addresses at its begining and then never >>>>>> again.
    Then the HHH that it is emulating will see those addresses, but
    not the
    outer one that is doing that emulation of HHH.
    And so on.
    Which HHH do you think EVER gets back to 00002172?
    What instruction do you think that it emulates that would tell it
    to do
    so?

    At best the trace is:
    00002172 00002173 00002175 0000217a conditional emulation of 00002172 >>>>>> conditional emulation of 00002173 conditional emulation of 00002175 >>>>>> conditional emulation of 0000217a CE of CE of 00002172 ...
    OK great this is finally good progress.
    The more interesting part is HHH simulating itself, specifically the
    if(Root) check on line 502.


    That has nothing to do with any aspect of the emulation
    until HHH has correctly emulated itself emulating DDD.

    and if HHH decides to abort its emulation, it also should know that >>>>>> every level of condition emulation it say will also do the same
    thing,
    If I understand his words correctly Mike has already disagreed with
    this.
    He hasn't.

    Message-ID: <[email protected]>
    On 3/1/2024 12:41 PM, Mike Terry wrote:
      > Obviously a simulator has access to the internal state (tape
    contents
      > etc.) of the simulated machine. No problem there.
    This seems to indicate that the Turing machine UTM version of HHH can >>>>> somehow see each of the state transitions of the DDD resulting from
    emulating its own Turing machine description emulating DDD.

    Of course. It needs to, in order to simulate it. Strictly speaking
    it has no idea of its simulation of a simulation two levels down,
    only of the immediate simulation; the rest is just part of whatever
    program the simulated simulator is simulating, which happens to be
    itself.


     From the concrete execution trace of DDD emulated by HHH
    according to the semantics of the x86 language people with
    sufficient technical competence can see that the halt status
    criteria that professor Sipser agreed to has been met.

    Nope.

    Proven previously and you accepted by default by not pointing out an
    error.

    Your HHH neither "correctly simulated" per his definitions or
    correctly predicts the behavior of such a simulation, and thus never
    acheived the required criteria.


    So you are still trying to stupidly get away with saying
    that when a finite string of x86 code is emulated according
    to the semantics of the x86 language

    (including HHH emulating itself emulating DDD)
    THAT THE EMULATION CAN BE WRONG ???


    It is WRONG for the determination of the final behavior of DDD it is
    aborted.

    Remember, the "semantics of the x86 processor" includes the fact that
    the x86 processor WON'T STOP until it reaches a terminal instruction,
    and thus stopping before that isn't actually correct.

    If you are willing to admit partial behavior, it can be correct, but
    saying it will "never" do something, is unsupported.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Sat Oct 19 07:22:32 2024
    Am Fri, 18 Oct 2024 16:46:03 -0500 schrieb olcott:
    On 10/18/2024 4:24 PM, joes wrote:
    Am Fri, 18 Oct 2024 15:18:46 -0500 schrieb olcott:
    On 10/18/2024 2:51 PM, Alan Mackenzie wrote:
    olcott <[email protected]> wrote:
    On 10/18/2024 2:10 PM, joes wrote:

    The existence of the check has an effect right from the start;
    besides, it is true the first time it is executed.
    So maybe you have ADD too. You can't seem to pay attention when
    things are explained to you many different times several different
    ways.
    What you call "explaining" is in actual fact the assertion of
    falsehoods. This is usually called lying.
    The variable Root does indeed affect your program.
    *I never say that it didn't*
    You said nothing at all. Productive communication would have included
    an agreement and clarification.

    The "root" variable has NO EFFECT WHAT-SO-EVER on the correctness or
    completeness of HHH emulating itself emulating DDD until this DDD
    calls HHH(DDD).
    DDD does nothing else but call HHH, and Root is part of HHH, so is
    simulated the first time around.
    It is possible that I am not communicating this clearly enough
    The root variable cannot possibly have have any effect what-so-ever on
    the correctness of HHH emulating DDD or HHH emulating itself emulating
    DDD until the root variable tests true.
    It has the effect of not aborting the simulation.
    Apart from that, Root is true in the root invocation of HHH (duh).

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Oct 19 07:21:15 2024
    On 10/19/24 6:53 AM, olcott wrote:
    On 10/19/2024 2:22 AM, joes wrote:
    Am Fri, 18 Oct 2024 16:46:03 -0500 schrieb olcott:
    On 10/18/2024 4:24 PM, joes wrote:
    Am Fri, 18 Oct 2024 15:18:46 -0500 schrieb olcott:
    On 10/18/2024 2:51 PM, Alan Mackenzie wrote:
    olcott <[email protected]> wrote:
    On 10/18/2024 2:10 PM, joes wrote:

    The existence of the check has an effect right from the start; >>>>>>>> besides, it is true the first time it is executed.
    So maybe you have ADD too. You can't seem to pay attention when
    things are explained to you many different times several different >>>>>>> ways.
    What you call "explaining" is in actual fact the assertion of
    falsehoods.  This is usually called lying.
    The variable Root does indeed affect your program.
    *I never say that it didn't*
    You said nothing at all. Productive communication would have included
    an agreement and clarification.

    The "root" variable has NO EFFECT WHAT-SO-EVER on the correctness or >>>>> completeness of HHH emulating itself emulating DDD until this DDD
    calls HHH(DDD).
    DDD does nothing else but call HHH, and Root is part of HHH, so is
    simulated the first time around.
    It is possible that I am not communicating this clearly enough
    The root variable cannot possibly have have any effect what-so-ever on
    the correctness of HHH emulating DDD or HHH emulating itself emulating
    DDD until the root variable tests true.

    It has the effect of not aborting the simulation.

    It has this effect only after every competent software
    engineer can independently verify that it is correct:

    Emulating termination analyzer HHH emulates its input DDD
    according to the semantics of the x86 language (including HHH
    emulating itself emulating DDD) until HHH correctly determines
    that its emulated DDD would never stop running unless aborted.

    Except that the correct determination doesn't happen in the case that
    Root doesn't affect the behavior of the emulated DDD, so that impurity
    does have affect.

    Remember, DDD as an input, even to the hypothocated HHH that has been
    modified to not abort at the point it does, MUST continue to call the
    HHH that DOES abort there, by the definition of a "program", (which
    includes the concept of a "function") as that definition requires said
    entity to contain *ALL* the code it uses, and thus all of HHH and
    anything it calls, which thus CAN'T be changed in the analysis.

    Thus the Hypothetical HHH that has been changed needs to be put
    somewhere else in memory (or a separate memory space looking into this
    memory space), and thus not affect DDD.

    Then, since it has been shown that this DDD calling the HHH that does
    abort, will reach the final return when fully executed or emulated, and
    thus the correct answer to the question about will it terminate is YES,
    it is terminating, and the NO answer is just wrong.


    Apart from that, Root is true in the root invocation of HHH (duh).


    The other place that root is true has no effect on the correctness
    of the x86 emulation. Do I have to tell you this 175 times before
    you notice that I said it once?


    Except that a partial x86 emulation (or a partial any type of emulation) doesn't show the final behavior of a program, and thus doesn't show that
    it will NEVER reach a point. The fact that without the affect of that
    variable there, a complete emulation of the code that is actually the
    program DDD (which includes that HHH *WIL* abort its emulation at the
    point it does) would reach the final return instruction.

    All you have done is shown that you don't understand what you are
    talking about.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Oct 19 17:46:03 2024
    On 10/19/24 7:28 AM, olcott wrote:
    On 10/19/2024 6:21 AM, Richard Damon wrote:
    On 10/19/24 6:53 AM, olcott wrote:
    On 10/19/2024 2:22 AM, joes wrote:
    Am Fri, 18 Oct 2024 16:46:03 -0500 schrieb olcott:
    On 10/18/2024 4:24 PM, joes wrote:
    Am Fri, 18 Oct 2024 15:18:46 -0500 schrieb olcott:
    On 10/18/2024 2:51 PM, Alan Mackenzie wrote:
    olcott <[email protected]> wrote:
    On 10/18/2024 2:10 PM, joes wrote:

    The existence of the check has an effect right from the start; >>>>>>>>>> besides, it is true the first time it is executed.
    So maybe you have ADD too. You can't seem to pay attention when >>>>>>>>> things are explained to you many different times several different >>>>>>>>> ways.
    What you call "explaining" is in actual fact the assertion of
    falsehoods.  This is usually called lying.
    The variable Root does indeed affect your program.
    *I never say that it didn't*
    You said nothing at all. Productive communication would have included >>>>>> an agreement and clarification.

    The "root" variable has NO EFFECT WHAT-SO-EVER on the correctness or >>>>>>> completeness of HHH emulating itself emulating DDD until this DDD >>>>>>> calls HHH(DDD).
    DDD does nothing else but call HHH, and Root is part of HHH, so is >>>>>> simulated the first time around.
    It is possible that I am not communicating this clearly enough
    The root variable cannot possibly have have any effect what-so-ever on >>>>> the correctness of HHH emulating DDD or HHH emulating itself emulating >>>>> DDD until the root variable tests true.

    It has the effect of not aborting the simulation.

    It has this effect only after every competent software
    engineer can independently verify that it is correct:

    Emulating termination analyzer HHH emulates its input DDD
    according to the semantics of the x86 language (including HHH
    emulating itself emulating DDD) until HHH correctly determines
    that its emulated DDD would never stop running unless aborted.

    Except that the correct determination doesn't happen in the case that
    Root doesn't affect the behavior of the emulated DDD, so that impurity
    does have affect.

    The root variable has no effect what-so-ever on
    the correctness of the emulation up to the point
    where everyone can see that HHH is correct to reject DDD.



    But of course it does, be cause it is shown TESTING it in your long trace.

    If it has no affect, why do you have it in there at all?

    Try setting root to 0 in your program and see that it makes the outer
    HHH change behavior.

    You are just proving yourself to be a liar.

    It might not change the behavior of the emulation, but it does change
    the behavior of the "program" that HHH is emulating.

    Sorry, but you are just proving your utter ignorance of what you are
    talking about.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)