Formal semantics of <text/>

[Kohsuke KAWAGUCHI <kohsuke.kawaguchi@eng.sun.com>]

The current formal definition of <text/> can match multiple tokens. So

<list>
  <text/>
</list>

 can match " abc def ghi" and 
 
 <interleave>
   <text/>
   <group>
     <element A/>
     <element B/>
   </group>
 </interleave>
 
 can match "ttt<A/>ttt<B/>ttt".

This behavior is acceptable from the view point of validator
implementers, but I think this is problematic for other
schema-applications, because number of tokens that <text/> can match
depends on the context.


Is it possible to change the definition of <text/> so that it can match
at most one token.

(text)
E; ns |- {}; s = ~<text/> => {};{}

(remove the rule (text-2))


The relationship between <newText/> and <oldText/> would be

<oldText/> = <zeroOrMore><newText/></zeroOrMore>




regards,
----------------------
K.Kawaguchi
E-Mail: kohsukekawaguchi@yahoo.com