Re: Can someone please verify the execution trace of this?

On 5/20/2024 2:30 PM, Chris M. Thomasson wrote:

On 5/20/2024 12:28 PM, olcott wrote:

On 5/20/2024 2:23 PM, Chris M. Thomasson wrote:

On 5/20/2024 12:15 PM, olcott wrote:

On 5/20/2024 1:35 PM, Chris M. Thomasson wrote:

On 5/20/2024 10:20 AM, olcott wrote:

On 5/20/2024 12:15 PM, Bonita Montero wrote:

Am 20.05.2024 um 18:01 schrieb olcott:

On 5/20/2024 10:16 AM, Bonita Montero wrote:

Am 20.05.2024 um 16:47 schrieb olcott:
>

It is a simple question about the behavior of C functions.
This group's purpose is the C/C++ language.

>
Your question is generic to most languages and you're
not asking how to do that in C or how to improve that.
And you're asking the same thing for years.
>

>
Yes I am very persistent. I keep asking until
I get an answer.
>

>
After some time you should recognize you're doing circles.
>

>
I am asking a straight forward question that people
keep ignoring it has nothing to do will my circles:
Ask until answered stops when answered.
>

>
Think of your halt decider running a black box program.

>
*It is not even a halt decider in this post it is merely a simulator*

[...]
>
Humm... So, what is your main point? You cannot decide if a program will halt, _unless_ you code the test program?
>

>
My ONLY point has been to put the people that have continued to
lie about the behavior of D correctly simulated by H in their place.
Several people have consistently lied about this for two years.
>

>
My only point is that one cannot 100% totally decide if a black box program will halt, or not.

 I am not asking about any black box program.
D is fully specified and the only relevant detail about H is that
 it correctly simulates 1 to ∞ steps of D thus including 0 to ∞
recursive simulations of H simulating itself simulating D.

 *From this we can conclude*
*D correctly simulated by H never reaches its own line 06 and halts*