On 5/19/07, Pascal Jasmin <[EMAIL PROTECTED]> wrote:
From: Raul Miller <[EMAIL PROTECTED]>
> I believe that completely specifying the syntactic character
> of all arbitrary J expressions involving adverbs and conjunctions
> is equivalent to solving the halting problem.

Not quite, there just needs to be one or 2 more exeptions to the rules:

Well... given

annoying=: conjunction define
 (complex calculation m) :(another expression n)
)

what is the syntactic character of
  example=: 'abc' annoying (?10+i.2 3 4)

?

--
Raul
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to