• From: Sjoerd Visscher <sjoerd@w...>
• To: xml-dev@l...
• Date: Wed, 22 Nov 2006 23:32:52 +0100

Rick Jelliffe wrote:
>   (a+,
>           (b,
>                    (a, (a |b)*)?, c)
>                  | (b, (a |b)*)?, c)
>                  |  c )
>          |
>           (c,
>                    (a, (a |c)*)?, b)
>                  | (c, (a |c)*)?, b)
>                  |  b ))
> |
>    (b+,
> 
>           (a,
>                    (a, (a |b)*)?, c)
>                  | (b, (a |b)*)?, c)
>                  |  c )
>          |
>           (c,
>                    (b, (b |c)*)?, a)
>                  | (c, (b |c)*)?, a)
>                  |  a ))
> |
>    (c+,
> 
>           (a,
>                    (a, (a |c)*)?, b)
>                  | (b, (a |c)*)?, b)
>                  |  b )
>          |
>           (b,
>                    (b, (b |c)*)?, a)
>                  | (c, (b |c)*)?, a)
>                  |  a )),
> 
>   (a | b | c)*

You can write this a little shorter, I think:

   (a+,
     (b, (a|b)*, c) |
     (c, (a|c)*, b))
|
   (b+,
     (a, (a|b)*, c) |
     (c, (b|c)*, a))
|
   (c+,
     (a, (a|c)*, b) |
     (b, (b|c)*, a)),
(a | b | c)*

-- 
Sjoerd Visscher
http://w3future.com/weblog/

• References:
  • modelling the business rule "at least one of the elements"
    • From: "Joselito D. Moreno" <joenmoreno@g...>
  • Re: modelling the business rule "at least one of the elements"
    • From: "Rick Jelliffe" <rjelliffe@a...>