Liste des Groupes | Revenir à c theory |
On 7/29/2024 2:38 PM, Fred. Zwarts wrote:No, as usual you are twisting my words. Further Infinite_Recursion is irrelevant, because we are talking about a HHH that aborts, so its simulation looks more like:Op 29.jul.2024 om 21:35 schreef olcott:void Infinite_Recursion()On 7/29/2024 2:18 PM, Fred. Zwarts wrote:>Op 29.jul.2024 om 16:07 schreef olcott:>HHH(Infinite_Recursion) and HHH(DDD) show the same non-halting>
behavior pattern in their derived execution traces of their
inputs.
>
Correct emulation is defined as emulating the machine language
input according to the x86 semantics specified by this input.
>
For DDD correctly emulated by HHH this includes HHH emulating
itself emulating DDD according to the x86 semantics of itself.
>
HHH(DDD) shows the exact same execution trace behavior pattern
as HHH(Infinite_Recursion) where 3-4 instructions are repeated
with no conditional branch instructions in this trace that could
prevent them from endlessly repeating.
>
void Infinite_Recursion()
{
Infinite_Recursion();
}
No, the HHH that aborts after N cycles has a similar behaviour as
>
So you don't even know that infinite recursion is non-halting behavior.
You can go back and try again on this same post I am not looking at
anything else that you say.
Non halting is only in your dreams. HHH that aborts halts. Dreams are no substitute for logic.
>
{
Infinite_Recursion();
}
In other words you are confirming that you
honestly believe the above function halts?
Do you understand that Halts means terminates normallyIrrelevant text ignored. HHH, when simulating itself, is simulating a program that aborts after two cycles of recursion. So, when HHH is simulated, no abort is needed.
on its own without being forced to stop running?
void Infinite_Loop()
{
HERE: goto HERE;
}
Do you understand that yanking the power cord out ofDo you understand that Finite_Recursion halts, even when the power cord is not yanked out?
the wall does not cause Infinite_Loop() to halt?
Les messages affichés proviennent d'usenet.