[relax-ng-comment] Definition of "Non-structure preserving translator"

[David Rosenborg <david.rosenborg@pantor.com>]

I think the section 6.3. "Non-structure preserving translator" in the

compact syntax specification is a bit underspecified:

 

"For this purpose, two instances of the data model (as specified in Section 2 of [RELAX NG]) are considered loosely equivalent if they are identical after applying all the simplifications specified in Section 4 of [RELAX NG]."

 

The critical word here is "identical". The problem is that there is an element of non-determinism in the simplification section 4.19.

A processor can choose names on defines freely. Also it can put them in any order. Maybe this should be mentioned in some

way.

 

Cheers,

David