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: [relax-ng] Re: Interleave and text



> residual(<text/>,CharacterToken) = <text/>.
>
> So even though there are two ways to consume it, the residual always
> remains the same regardless of matched <text/>.

The residual of <text/> wrt a character token is <text/>, but the residual 
of a pattern containing <text/> may not be equal to that pattern.  For 
example, if we have

X = (A | (text, B)) & (C | (text, D))

Then the residual of X wrt to a character token is

((text, B) & (C | (text, D)))
| ((A | (text, B)) & (text, D))

which is larger than X.  If taking a residual wrt text can cause expansion, 
then why can't it cause exponential expansion?

James



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


Powered by eList eXpress LLC