[developers] token mapping determinism
Glenn Slayden
glenn at thai-language.com
Fri Apr 12 23:12:35 CEST 2013
Thanks for the reply and the question.
Regarding the latter, consider
+CONTEXT [b]
+INPUT [a]
+OUTPUT [b]
+POSITION I1<C1, I1 at O1
which applied to
a----a----b
produces a structure with a new match to the left:
a----b----b
Best,
Glenn
-----Original Message-----
From: stephan.oepen at gmail.com [mailto:stephan.oepen at gmail.com] On Behalf Of Stephan Oepen
Sent: Friday, April 12, 2013 1:53 PM
To: Glenn Slayden
Cc: developers at delph-in.net
Subject: Re: [developers] token mapping determinism
hi glenn, thanks for bringing up this question!
> can either result in
>
> a----b----a
>
> or
>
> a----b----b
i would expect the first of the above as the ‘correct’ result. i
am not sure this is written down anywhere, but i recall peter
and me discussing cases like the above. to resolve, i think
we landed on an expectation of left-to-right matching (though
i also vaguely recall there may be cases that require one to
stipulate additional ordering constraints).
i must confess, i am not sure i understand the second part
of your message. can there be cases where an application
of a rule creates a new matching target for the same rule to
the left of the original match?
best wishes, oe
More information about the developers
mailing list