Cart
[Home] [By Thread] [By Date] [Recent Entries]
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@r...>
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
|
