Liste des Groupes | Revenir à s logic |
On 3/17/2024 11:49 PM, immibis wrote:That would be a different D. The facts that Hah(Dah,Dah) returns TRUE and Dah gets stuck at line 05 do not prove that Han(Dan,Dan) returns TRUE and Dan gets stuck at line 05.On 18/03/24 05:40, olcott wrote:*When H(D,D) says YES D gets stuck at line 05*When H1 says YES it is right.>
When H says YES it is wrong.
Any halt decider is right to say YES on the input (D,D) if and only if D(D) halts.
>
Can D correctly simulated by H terminate normally?
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 D(D);
12 }
Les messages affichés proviennent d'usenet.