Halting Problem solved! (was Re: applescript-users digest, Vol 3 #100 - 13 msgs)
Halting Problem solved! (was Re: applescript-users digest, Vol 3 #100 - 13 msgs)
- Subject: Halting Problem solved! (was Re: applescript-users digest, Vol 3 #100 - 13 msgs)
- From: email@hidden (Michael Sullivan)
- Date: Sat, 2 Feb 2002 12:30:08 -0500
- Organization: Society for the Incurably Pompous
>
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.
Michael