Liste des Groupes | Revenir à cl c |
Just like any endlessly repeating infinite loop, you're stuck and will never finish your task.>It is essentially trivial to see that D correctly simulated by H>
cannot possibly reach its own final state at line 06 because
D correctly simulated by H remains stuck in recursive simulation.
>
This provides the basis for simulating termination analyzer H to
correctly determine that the halting problem's counter-example
input D cannot possibly halt.
Negative. It is trivial to see that the above code does not execute, and, as such, any claims about what it does or does not do are void, by default.
>
>
Oh I forgot to endlessly repeat that that the above is
a code template such that every H/D pair of the infinite
set of H/D pairs is only required to correctly simulate
N steps of D using an x86 emulator.
Les messages affichés proviennent d'usenet.