Re: Grammar validation?

I think that you are conflating a non-terminal reference (on the RHS) and rule names (on the LHS).  It is rule names that must be unique.

So you only have one div rule, but it can be called from both doc and div.

_________________
Tomos Hillman
eXpertML Ltd
+44 7793 242058
On 8 Nov 2021, 08:05 +0000, Dave Pawson <dave.pawson@gmail.com>, wrote:
>
>
> > On Sun, 7 Nov 2021 at 23:30, C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> wrote:
> > > Dave,
> > >
> > > I’m not sure I understand what you are saying or asking about n and m.
> > > Can you give an example?  (If Steven’s earlier answer has cleared everything
> > > up, feel free to ignore this inquiry.)
> >
> > Take html, doc/div/div vs doc/div
> > Same element different location within the tree.
> > In xml this is allowed. Is it allowed in i xml?
> > Ie. Same name, different xpath location.
> >  I don’t think it is with the current spec?
> >
> > Regards
> >
> >
> >
> > >
> > >
> > > Michael
> > >
> > > > On 7,Nov2021, at 5:14 AM, Dave Pawson <dave.pawson@gmail.com> wrote:
> > > >
> > > > Thanks Steven.
> > > >
> > > > =====================
> > > > Spec.
> > > >
> > > > The grammar must not contain more than one rule defining any given
> > > > name. {needed?}
> > > > May contradict nonterminals defn
> > > > This name refers to the rule that defines this name, which must exist,
> > > > and there must only be one such rule.
> > > >
> > > > Which disallows names n and m, each having a different xpath location
> > > > in the tree?
> > > > Is this intended?
> > > >
> > > > regards
> > > >
> > > >
> > > > On Sun, 7 Nov 2021 at 11:51, Steven Pemberton <steven.pemberton@cwi.nl> wrote:
> > > >>
> > > >> Sure. From the tutorial there is a link where you can upload an ixml
> > > >> grammar, and a sample input.
> > > >> See http://www.cwi.nl/~steven/ixml/tutorial and go to the page "How it
> > > >> works".
> > > >>
> > > >> Steven
> > > >>
> > > >> On Sunday 07 November 2021 12:00:49 (+01:00), Dave Pawson wrote:
> > > >>
> > > >>> If I try to write a grammar for some input, is there any way I can
> > > >> validate
> > > >>> what I've written please?
> > > >>>
> > > >>> regards
> > > >>>
> > > >
> > > >
> > > >
> > > > --
> > > > Dave Pawson
> > > > XSLT XSL-FO FAQ.
> > > > Docbook FAQ.
> > > >
> > >
> --
> Dave Pawson
> XSLT XSL-FO FAQ.
> Docbook FAQ.