return in loop for ?

[Mike Meyer]

Paul Rubin <http://phr.cx@NOSPAM.invalid> writes:
> Mike Meyer <mwm at mired.org> writes:
>> Which means you can't create a verifier which will verify all
>> programs. Is there a reason to believe that you can't have a verifier
>> with three possible outcomes: Correct, Incorrect, and I don't know,
>> and it is always correct in doing so? Note that "I don't know" could
>> be "I ran longer than I think is reasonable and gave up trying."
> It's trivial to write such a verifier, if you get my drift.

Almost as cute as the simplest self-replicating shell script.

Ok, so it's possible. Are there any useful examples? Does the BCPL
type verifier count?

       <mike
-- 
Mike Meyer <mwm at mired.org>			http://www.mired.org/home/mwm/
Independent WWW/Perforce/FreeBSD/Unix consultant, email for more information.