RE: [relax-ng-comment] Non-XML Syntax question

[Michael Fitzgerald <mike@wyeast.net>]

My interpretation of the BNF was wrong.

topLevel ::= decl* (pattern | (annotations, grammar) )

means zero or more decl are followed by (1) a pattern or (2) annotations and
a grammar (which can contain a definition which can contain a pattern).

The comma, the presence of which James already said was incorrect
(http://lists.oasis-open.org/archives/relax-ng-comment/200203/msg00002.html)
, occurs only twice in the BNF -- incorrectly on the first line, separating
the non-terminals (annotations, grammar), but correctly when defined as a
legal separator between particles, as in '| particle ("," particle)+'.

I now suppose that the corrected first line of the BNF will read:

topLevel ::= decl* (pattern | (annotations grammar) )

However, commas are legal in non-XML syntax and in EBNF.


Mike
-----Original Message-----
From: Michael Fitzgerald [mailto:mike@wyeast.net]
Sent: Wednesday, March 13, 2002 8:22 PM
To: Gary Stephenson; relax-ng-comment@lists.oasis-open.org
Subject: RE: [relax-ng-comment] Non-XML Syntax question


The comma is a sequence operator -- read "and". The parens contain a group.
So, what the syntax is saying is this:

zero or more decl(s) can contain either a pattern or (|) annotations
followed directly by a grammar

hope that helps

Mike

-----Original Message-----
From: Gary Stephenson [mailto:garys@ihug.com.au]
Sent: Wednesday, March 13, 2002 5:21 PM
To: relax-ng-comment@lists.oasis-open.org
Subject: [relax-ng-comment] Non-XML Syntax question


Hi all,

The first BNF production for the Non-XML syntax (latest version) reads:

    topLevel ::= decl* (pattern | (annotations, grammar) )

Can anybody please direct me to the syntax for the particular BNF being used
here, as I don't understand what the "," comma operator is meant to signify.
e.g. How
does the above production differ from

    topLevel ::= decl* (pattern | annotations grammar )

?

many tias,

gary



----------------------------------------------------------------
To subscribe or unsubscribe from this elist use the subscription
manager: <http://lists.oasis-open.org/ob/adm.pl>