- From: Steven Pemberton <steven.pemberton@cwi.nl>
- Date: Thu, 06 Jan 2022 22:03:17 +0000
- To: "C. M. Sperberg-McQueen" <cmsmcq@blackmesatech.com>
- Cc: "C. M. Sperberg-McQueen" <cmsmcq@blackmesatech.com>, Tomos Hillman <yamahito@gmail.com>, "Norm Tovey-Walsh" <norm@saxonica.com>, ixml <public-ixml@w3.org>
I honestly think you are overthinking this Michael. All your long treatise goes to show is that there are different theories. Algorithms based on those theories will therefore produce different results. But we are talking about a tiny corner of any language, and in all cases the serialisation will be the same. We don't even require that a parser discover all possible parses, as long as it finds one, in which case it would never report ambiguity. So I still stand by the current wording: > > * It must find at least one parse of any input that matches the grammar > > * if it finds more than one parse, it must report that fact. Steven
Received on Thursday, 6 January 2022 22:03:49 UTC