OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

relax-ng message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

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

I've solved one mystery. If someone send an e-mail to
trex@lists.oasis-open.org, then it will be successfully forwarded to
relax-ng@lists.oasis-open.org but with several strange headers.

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

I am unable to understand what this '-' means. My guess is that 

L - X  :=  { s | s=replace(t,X), t \in L }

function replace(string t,regexp X) {
  while( X.matches(t) )
    remove matches substring from t;
  return t;

Mmmm, more examples would certainly help.

Kohsuke KAWAGUCHI                          +1 650 786 0721
Sun Microsystems                   kohsuke.kawaguchi@eng.sun.com

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Powered by eList eXpress LLC