Liste des Groupes | Revenir à s logic |
On 5/18/24 2:54 PM, olcott wrote:You have already agreed that this is impossible for pure simulatorOn 5/1/2024 7:10 PM, Richard Damon wrote:And that is exactly what my H is. It will simulate all of the steps of D, the D that call that H, till it reaches the end.On 5/1/24 12:11 PM, olcott wrote:>>Until you refine your current non-existant definitions of the terms, you have the problem described.>
>
I can't have any idea what you are saying until you fill in
all of the details of your baseless claims.
>
But you refuse to listen.
>
Remember, YOU are the one saying you are needing to change the definition from the classical theory, where we have things well defined.
>
YOU have decided that H is just whatever C code you want to write for it, and D is the input proved. (which doesn't actually match the Linz or Sipser proof, but fairly close).
>
First of all the code template that I am currently referring
has nothing to do with any decider, it only pertains to a
simulator where H correctly simulates 1 to ∞ steps of D
of each H/D pair specified by the following template.
>And mine emulates ALL of them to the final return on line 06
typedef int (*ptr)(); // ptr is pointer to int function
00 int H(ptr x, ptr y);
01 int D(ptr x)
02 {
03 int Halt_Status = H(x, x);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 int main()
10 {
11 H(D,D);
12 return 0;
13 }
>
In the above case a simulator is an x86 emulator that correctly emulates
at least one of the x86 instructions of D in the order specified by the
x86 instructions of D.
Les messages affichés proviennent d'usenet.