Liste des Groupes | Revenir à s logic |
01 int D(ptr x) // ptr is pointer to int functionYou shouldn't use the name "H" for an abort decider.
02 {
03 int Halt_Status = H(x, x);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 void main()
10 {
11 H(D,D);
12 }
H is a simulating abort decider that supposed to
correctly determine whether or not it needs to abort
the simulation of any pathological inputs that are
attempting to thwart this abort decision.
Les messages affichés proviennent d'usenet.