Re: Terminology proposals

> *prefix recognition*
> Recognition of an *ixml input string* from the beginning to any
> subsequent point. If this subsequent point is not equal to the end of
> the string, the prefix recognised is a *proper prefix*.

> I don't understand that. beginning (of the string?) subsequent point
> (within the string?).  Uses *proper prefix* without any definition?

That *is* the definition of “proper prefix”. A prefix starts at the
beginning of the input string and ends somewhere. If it ends before the
whole string has been consumed, that’s a proper prefix.

If it consumes the whole string it’s not a proper prefix because if
you’re talking about matching a prefix, the case where the prefix is the
whole string is inconvenient.

> Complete parse
> I don't understand this. Minor nits on English. Does this processing
> apply solely to the grammar and not the ixml input string?

I don’t think I understand your question. The paragraph begins “A
complete parse of an *ixml input string* is sequence…” so what makes it
seem like it applies solely to the grammar.

I think the point of this term is to distinguish the parse of a proper
prefix of the input from a parse of the complete input.

> *ixml input string* used, but not defined.

It’s defined as one of the two things you feed into an ixml processor.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Tuesday, 25 January 2022 12:27:45 UTC