[Bug 1804] [FS] editorial: E.1.4.2 Erases

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1804





------- Comment #5 from simeon@us.ibm.com  2006-04-14 20:05 -------
Michael,

I admit of some confusion here. The grammar for formal values starts like that:

Value    ::=    Item
          |     (Value "," Value)
          |     ("(" ")") 
Item     ::=    NodeValue
          | AtomicValue 
...

And the grammar for simple values looks like that:

SimpleValue    ::=    AtomicValue
                |     (SimpleValue "," SimpleValue)
                |     ("(" ")") 

So with the simple (and traditional) definition you have in mind,
that still results in all simple values also be formal values.

Concretely, (1,"3",4) can be derived by both grammars.

I guess I still may be missing the problem you are trying to raise.

- Jerome

Received on Friday, 14 April 2006 20:05:44 UTC