- From: John Cowan <jcowan@reutershealth.com>
- Date: Fri, 04 Jan 2002 11:34:52 -0500
- To: Jonathan Robie <jonathan.robie@softwareag.com>
- CC: Dare Obasanjo <kpako@yahoo.com>, "Champion, Mike" <Mike.Champion@SoftwareAG-USA.com>, www-xml-query-comments@w3.org, xml-dev@lists.xml.org, suciu@cs.washington.edu
Jonathan Robie wrote:
> (((a,a)*, (b,b)*, (c,c)*) | ((a,a)*,a, (b,b)*,b, (c,c)*,c))
>
> In this content model, either a,b, and c all occur an even number of
> times, or they all occur an odd number of times.
Just for the fun of it, I transformed this content model into the
following RELAX NG schema (note that the main part is just
copy-and-paste!):
a = element a {empty}
b = element b {empty}
c = element c {empty}
start = element result {
(((a,a)*,(b,b)*,(c,c)*)|
((a,a)*,a,(b,b)*,b,(c,c)*,c))
}
Jing was able to process this schema fine, despite its nondeterminism,
and correctly reported errors in several test documents I created.
--
Not to perambulate || John Cowan <jcowan@reutershealth.com>
the corridors || http://www.reutershealth.com
during the hours of repose || http://www.ccil.org/~cowan
in the boots of ascension. \\ Sign in Austrian ski-resort hotel
Received on Friday, 4 January 2002 11:30:41 UTC