*Simulating termination analyzer Principle*In other words, you operate on the principle that deciders don't have to (and indeed can't) always make a correct decision on whether an input program halts.
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination. The
only rebuttal to this is rejecting the notion that
deciders must always halt.
So it turns out that you agree with everyone else after all. Well done.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within
| Date | Sujet | # | Auteur | |
| 21 Apr 26 |  … |
Les messages affichés proviennent d'usenet.