1. Forum
  2. Usenet
  3. SCI.LOGIC

  • Re: Can any pathological input thwart a simulating abort decider?

    From Mikko@21:1/5 to olcott on Tue Mar 26 11:55:03 2024
    On 2024-03-22 18:41:35 +0000, olcott said:

    01 int D(ptr x) // ptr is pointer to int function
    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.

    You shouldn't use the name "H" for an abort decider.
    An abort decider should be called "A" like a halting
    decider is called "H": by the initial letter.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Wed Mar 27 11:52:34 2024
    On 2024-03-26 14:18:33 +0000, olcott said:

    On 3/26/2024 4:55 AM, Mikko wrote:
    On 2024-03-22 18:41:35 +0000, olcott said:

    01 int D(ptr x)  // ptr is pointer to int function
    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.

    You shouldn't use the name "H" for an abort decider.
    An abort decider should be called "A" like a halting
    decider is called "H": by the initial letter.


    H is going to become a halt decider as soon as it is understood to be a correct abort decider that cannot be fooled.

    As long as it isn't it should be called A.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)