Liste des Groupes | Revenir à theory |
On 5/18/24 3:57 PM, olcott wrote:My original H(P,P) does simulate itself simulating P.On 5/1/2024 7:10 PM, Richard Damon wrote:Why? My H does correctly simulate the D it was given.The second method uses the fact that you have not restricted what H is allowed to do, and thus H can remember that it is simulating, and if a call to H shows that it is currently doing a simulation, just immediately return 0.>
Nice try but this has no effect on any D correctly simulated by H.
When the directly executed H aborts its simulation it only returns
to whatever directly executed it.
You don't seem to understand how the C code actually works.
>WHAT inner simulatioin?
If the directly executed outermost H does not abort then none of
the inner simulated ones abort because they are the exact same code.
When the directly executed outermost H does abort it can only return
to its own caller.
My H begins as:
int H(ptr x, ptr y) {
static int flag = 0;
if(flag) return 0;
flag = 1;
followed by essentially your code for H, except that you need to disable the hack that doesn't simulate the call to H, but just let it continue into H where it will immediately return to D and D will then return.
Les messages affichés proviennent d'usenet.