Re: Halting Problem solved!
Re: Halting Problem solved!
- Subject: Re: Halting Problem solved!
- From: Christopher Nebel <email@hidden>
- Date: Sat, 2 Feb 2002 11:45:09 -0800
On Saturday, February 2, 2002, at 09:30 AM, Michael Sullivan wrote:
At 14:37 -0800 2/1/2002, Christopher Nebel wrote:
<Odd gleam enters eyes.> You know, because SOAP and IP don't impose
any
maximum allowed response time, you could write a SOAP service that
actually did that. You could send your broken script with a command
of
"debug", and you'd get back (maybe much later) a working version,
courtesy of one of the AppleScript gurus. Hmm...
I've actually gone to the trouble to write a limited version of this
SOAP
service. Rather than debugging the script completely, it detect only
one type
of error: infinite loops. You send you script in, and the service will
determine if it halts.
I have this service too. It runs the script. When it stops, you get a
message telling you that it halted. It will never give you a wrong
answer.
For those not getting the joke, Scott's "service" has been proven
impossible, as opposed to mine, which is merely silly.
--Chris Nebel
AppleScript Engineering