Liste des Groupes | Revenir à c theory |
olcott <polcott333@gmail.com> wrote:Expert's in the C language could directly confirm that no DOn 4/30/2024 11:46 AM, Alan Mackenzie wrote:[ .... ]olcott <polcott333@gmail.com> wrote:On 4/30/2024 10:44 AM, Alan Mackenzie wrote:
You are thus mistaken in believing "abnormal" termination isn't a
final state.Again, we have no reply from you to this important point. You've
failed to address any of the points I made, presumably because you
can't.When we add the brand new idea of {simulating termination analyzer}
....It is most unlikely to be "brand new", and even if it were, it would
most likely be useless and inconsequential. But since you fail to
define it, we can only judge it by the reputation of its creator..... to the existing idea of TM's then we must be careful how we
define halting otherwise every infinite loop will be construed as
halting.Complete Balderdash. Define your "simulating termination analyzer",
or stop wasting people's time by talking about it.int H(ptr x, ptr y); // ptr is pointer to int function01 int D(ptr x)Is that it? Is that tired old piece of copy and paste supposed to be a
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 }
mathematical definition? It doesn't look like one to me.
Two experts in the C programming language and two(a) It is a verified fact that D(D) simulated by H cannotThat's a barefaced lie. Who has done such "verification", how, and when,
possibly reach past line 03 of D(D) simulated by H whether H
aborts its simulation or not.
Les messages affichés proviennent d'usenet.