Re: The Science of Insecurity

Steven Pemberton <steven.pemberton@cwi.nl> writes:
> Similarly, if I process a nondeterministic language with ixml, it is the language that is nondeterministic; ixml doesn't add to the nondeterminism.

Perhaps I can see what you mean. (But I might be wrong.)

I think many users who feed a grammar and an input into a processor and get some output think that “iXML did that”. If there was nondeterminism in their grammar, it was iXML that did the nondeterminism.

You might be arguing: “No, no, no, that’s not the case. The iXML processor uses the specification grammar (which we believe to be deterministic) to parse the user’s input grammar. What the user does with that output and how their implementation might use that to parse some other input string is none of our concern. That’s not iXML.”

I dunno.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Friday, 31 January 2025 15:30:20 UTC