Received-SPF: pass (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c04::234 as permitted sender) client-ip=2607:f8b0:400d:c04::234;
Date: Tue, 7 Apr 2015 13:18:56 -0400
From: Alex Burka <durka42@gmail.com>
To: bpfk-list@googlegroups.com
Message-ID: <1A2E049F0CB84036907C6CAAE5923EE9@gmail.com>
In-Reply-To: <CAO7bV+jjDyC7fCn5NO-h_zL_zfFmHgB5Nwp-ec5txQzs3P3fVg@mail.gmail.com>
References: <CAO7bV+jjDyC7fCn5NO-h_zL_zfFmHgB5Nwp-ec5txQzs3P3fVg@mail.gmail.com>
Subject: Re: [bpfk] One cannot refer to inner nodes in Lojban PEG
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="55241180_4244b8de_14c"
Reply-To: bpfk-list@googlegroups.com
Precedence: list
Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com
Sender: bpfk-list@googlegroups.com
X-Spam_score: -1.6
X-Spam_score_int: -15
X-Spam_bar: -

--55241180_4244b8de_14c
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline

I guess I don't follow. If string_1 doesn't want to have all of the possible string_3 realizations inside, then why does it ask for string_3? In this example, just use 

string_1 = string_2 / string_6 string_8

instead. Can you make a more concrete example? What specific "actions" differ depending on whether a term contains FA or BAI?

mu'o mi'e durkavore 


On Tuesday, April 7, 2015 at 4:28 AM, Gleki Arxokuna wrote:

> Consider the following:
> string_1 = string_2 / string_6 string_3
> string_3 = string_7 / string_8
> string_4 = !string_1 string_5 
> 
> Now we need !string_1 to work only if string_8 matches, not when string_7 matches.
> Why we might need that? E.g. for terms that can have either FA or BAI inside. Depending on whether we have FA or BAI inside a term our actions may differ.
> 
> How can we implement that?
> We can just create duplicates of two strings like this:
> 
> string_1 = string_2 / string_6 string_3
> string_1_2 = string_2 / string_6 string_3_2
> string_3 = string_7 / string_8
> string_3_2 = string_8
> string_4 = !string_1_2 string_5 
> 
> Now string_1_2 is the same as string_1 but it is matched only if string_8 matches (unlike string_1, otherwise they are the same).
> 
> Now the question is how do we avoid such duplication?
> 
> The answer from peg.js developers:
> <quote>
> Sorry, but there is currently no clean way to avoid the duplication.
> 
> In the future I'm thinking about adding support for rule templates/parametrizable rules, which would help here:
> 
> string_1<T> = string_2 / string_6 T
> string_3 = string_7 / string_8
> string_3_2 = string_8
> string_4 = !string_1<string_3_2> string_5 
> 
> And I think it'd be nice 
> </quote>
> 
> So for now our only chance is to copy paster parts of Lojban PEG if we want such things. I.e. one would need to split terms into "terms_for_BAI", "terms_for_FA" etc. with all their inner variables copied. 
> 
> -- 
> You received this message because you are subscribed to the Google Groups "BPFK" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com (mailto:bpfk-list+unsubscribe@googlegroups.com).
> To post to this group, send email to bpfk-list@googlegroups.com (mailto:bpfk-list@googlegroups.com).
> Visit this group at http://groups.google.com/group/bpfk-list.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.

--55241180_4244b8de_14c
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline


                <div>
                    I guess I don't follow. If string_1 doesn't want to hav=
e all of the possible string_3 realizations inside, then why does it ask fo=
r string_3? In this example, just use
                </div><div><br></div><div>string_1 =3D string_2 / string_6 =
string_8</div><div><br></div><div>instead. Can you make a more concrete exa=
mple? What specific "actions" differ depending on whether a term contains F=
A or BAI?</div><div><br></div><div>mu'o mi'e durkavore</div>
                <div></div>
                =20
                <p style=3D"color: #A0A0A8;">On Tuesday, April 7, 2015 at 4=
:28 AM, Gleki Arxokuna wrote:</p>
                <blockquote type=3D"cite" style=3D"border-left-style:solid;=
border-width:1px;margin-left:0px;padding-left:10px;">
                    <span><div><div><div dir=3D"ltr"><div>Consider the foll=
owing:</div><div>string_1 =3D string_2 / string_6 string_3</div><div>string=
_3 =3D string_7 / string_8</div><div>string_4 =3D !string_1 string_5&nbsp;<=
/div><div><br></div><div>Now we need !string_1 to work only if string_8 mat=
ches, not when string_7 matches.</div><div>Why we might need that? E.g. for=
 terms that can have either FA or BAI inside. Depending on whether we have =
FA or BAI inside a term our actions may differ.</div><div><br></div><div>Ho=
w can we implement that?</div><div>We can just create duplicates of two str=
ings like this:</div><div><br></div><div>string_1 =3D string_2 / string_6 s=
tring_3</div><div>string_1_2 =3D string_2 / string_6 string_3_2</div><div>s=
tring_3 =3D string_7 / string_8</div><div>string_3_2 =3D string_8</div><div=
>string_4 =3D !string_1_2 string_5&nbsp;</div><div><br></div><div>Now strin=
g_1_2 is the same as string_1 but it is matched only if string_8 matches (u=
nlike string_1, otherwise they are the same).</div><div><br></div><div>Now =
the question is how do we avoid such duplication?</div><div><br></div><div>=
The answer from peg.js developers:</div><div>&lt;quote&gt;</div><div>Sorry,=
 but there is currently no clean way to avoid the duplication.</div><div><b=
r></div><div>In the future I'm thinking about adding support for rule templ=
ates/parametrizable rules, which would help here:</div><div><br></div><div>=
string_1&lt;T&gt; =3D string_2 / string_6 T</div><div>string_3 =3D string_7=
 / string_8</div><div>string_3_2 =3D string_8</div><div>string_4 =3D !strin=
g_1&lt;string_3_2&gt; string_5&nbsp;</div><div><br></div><div>And I think i=
t'd be nice&nbsp;</div><div>&lt;/quote&gt;<br></div><div><br></div><div>So =
for now our only chance is to copy paster parts of Lojban PEG if we want su=
ch things. I.e. one would need to split terms into "terms_for_BAI", "terms_=
for_FA" etc. with all their inner variables copied.</div></div>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups "=
BPFK" group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bpfk-list+unsubscribe@googlegroups.com">bpfk-list=
+unsubscribe@googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:bpfk-list@googlegrou=
ps.com">bpfk-list@googlegroups.com</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/group/bpfk-list">ht=
tp://groups.google.com/group/bpfk-list</a>.<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br>
</div></div></span>
                =20
                =20
                =20
                =20
                </blockquote>
                =20
                <div>
                    <br>
                </div>
           =20

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;BPFK&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bpfk-list+unsubscribe@googlegroups.com">bpfk-list=
+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:bpfk-list@googlegrou=
ps.com">bpfk-list@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/bpfk-list">ht=
tp://groups.google.com/group/bpfk-list</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--55241180_4244b8de_14c--