Re: RS/RE, again (sorry)

>> This would lead to a model in which all *parsers* would return the
>> same results, making it easier to validate/prove that the parsers are
>> correct. 
>I think this is more formal than is needed for XML.

Perhaps. One thing that bothers me with SGML is that it is very
hard to *prove* that an SGML parser is actually parsing correctly,
and the standard doesn;t help to make it obvious that they are..