Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c02::229 as permitted sender) client-ip=2607:f8b0:400c:c02::229;
MIME-Version: 1.0
In-Reply-To: <CAOQ8VDV21KdHLncsr2yhqnneNpE-rbV8gcjdkXhjnPJyFrJP6A@mail.gmail.com>
References: <CAOQ8VDV21KdHLncsr2yhqnneNpE-rbV8gcjdkXhjnPJyFrJP6A@mail.gmail.com>
Date: Sun, 12 May 2013 12:30:32 -0300
Message-ID: <CAO7tK2dzRuuZoWaEZdYktA1uC0c2bREW6uuJQSNqPGKdrb1PCQ@mail.gmail.com>
Subject: Re: [lojban] Higher-precedence Grouping with {bo} Is Impossible for
 TAG Sentence Connectives
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=089e010d9f22b2a93304dc871440
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /

--089e010d9f22b2a93304dc871440
Content-Type: text/plain; charset=ISO-8859-1

On Sat, May 11, 2013 at 10:37 PM, Jacob Errington <nictytan@gmail.com>wrote:

>
> It just seems like multiple {bo} is illegal across the board. Bug or
> feature? Could this even be implemented? If it can, should we?
>
>
I can see two ways of implementing it in PEG (or BNF):

(1) Define an upper limit on the number of grouping precedences you would
allow. Then it's just a matter of adding a new rule for each level you want
for each type of connective. If you decide 100 bo is the maximum then 101
bo will be ungrammatical.

(2) Require of the parser that it just tells you whether the text is
grammatical or not, but not ask that it return the "right" parse tree. Then
you can allow as many bo as you want, but the parse won't always give the
correct grouping.

Neither of the two seem worth it for a feature that would probably never be
used in any case.

mu'o mi'e xorxes

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


--089e010d9f22b2a93304dc871440
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><br><div class=3D"gmail=
_quote">On Sat, May 11, 2013 at 10:37 PM, Jacob Errington <span dir=3D"ltr"=
>&lt;<a href=3D"mailto:nictytan@gmail.com" target=3D"_blank">nictytan@gmail=
.com</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div><br></div><div>It just=
 seems like multiple {bo} is illegal across the board. Bug or feature? Coul=
d this even be implemented? If it can, should we?</div>
<div><br></div></div></blockquote><div><br></div><div style>I can see two w=
ays of implementing it in PEG (or BNF):</div><div style><br></div><div styl=
e>(1) Define an upper limit on the number of grouping precedences you would=
 allow. Then it&#39;s just a matter of adding a new rule for each level you=
 want for each type of connective. If you decide 100 bo is the maximum then=
 101 bo will be ungrammatical.</div>
<div style><br></div><div style>(2) Require of the parser that it just tell=
s you whether the text is grammatical or not, but not ask that it return th=
e &quot;right&quot; parse tree. Then you can allow as many bo as you want, =
but the parse won&#39;t always give the correct grouping.</div>
<div style><br></div><div style>Neither of the two seem worth it for a feat=
ure that would probably never be used in any case.</div><div style><br></di=
v><div style>mu&#39;o mi&#39;e xorxes</div><div style><br></div></div></div=
>
</div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to lojban+unsubscribe@googlegroups.com.<br />
To post to this group, send email to lojban@googlegroups.com.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban?hl=3De=
n">http://groups.google.com/group/lojban?hl=3Den</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/groups/opt_out=
">https://groups.google.com/groups/opt_out</a>.<br />
&nbsp;<br />
&nbsp;<br />

--089e010d9f22b2a93304dc871440--