[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