[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