Liste des Groupes | Revenir à theory |
Op 29.jul.2024 om 16:07 schreef olcott:So you don't even know that infinite recursion is non-halting behavior.HHH(Infinite_Recursion) and HHH(DDD) show the same non-haltingNo, the HHH that aborts after N cycles has a similar behaviour as
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();
}
Les messages affichés proviennent d'usenet.