Re: Alternative algorithm to restrict use of data/string in patterns.

Murata Makoto wrote:

> I would propose the following restriction.
>  
> 	L - D  is in REC(N \cup A)

Oops, let me try again.

	L - (A* D A*) is in REC(N \cup A)

Cheers,

Makoto
 
Internet: 
Nifty: VEQ00625