W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1373] [XQuery] some editorial comments on A.1 EBNF (productions)

From: <bugzilla@wiggum.w3.org>
Date: Thu, 07 Jul 2005 19:27:17 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Dqc1l-0004H7-3o@wiggum.w3.org>


------- Additional Comments From jmdyck@ibiblio.org  2005-07-07 19:27 -------
Re changing capitalization:
Note that, with the XQuery grammar, there's a subtlety in determining whether a
symbol derives a regular language. For example, consider ModuleDecl:
    ModuleDecl ::= "module" "namespace" NCName "=" URILiteral Separator
All the symbols on the RHS derive regular languages, and this rule merely
concatenates them, so it would appear to derive a regular language also.
However, because implicit whitespace is allowed/required between those symbols,
and because that can include comments, and because comments nest, the language
derived by ModuleDecl is actually non-regular.
Received on Thursday, 7 July 2005 19:27:20 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC