Received: from mail-gg0-f187.google.com ([209.85.161.187]:38478) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1W0idn-0001Bl-5w for lojban-list-archive@lojban.org; Tue, 07 Jan 2014 18:13:17 -0800 Received: by mail-gg0-f187.google.com with SMTP id f4sf168665ggn.4 for ; Tue, 07 Jan 2014 18:13:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=4ahkxnLt6ofsfG8sbb/n+Pq9K6PYZHdx8+oSGYbdKOw=; b=As2vSQfDP8RBvF2YKfGJLFOVBQrfFstfsUyWX7VGATZs5J+Qhrot5h8NDliRHIIKOv XAEO/d8pryQiMQaxR8NlXv+YLfOnt2l+xVed7OMbCy7M3yfJFLxDAIgka47L0N7MPE6g Mle/lsASXRWkuYo3yemPa5AWxgOpXA4UcuSRTVlVdclBtYTj3LHuzEpXBZ7NFp/Bspjr 6OFziZk7IysBlA1FcsoLq8f38ViRfB3HMt00wc0N4TWNIn9OlyNA2G8lKYoATIf/nIkV pQoKe+e4fv1mC5CRwtF6xyz49ka0BMRELIzNt1Oeo0ZaSXnFvCR3sjuTeQyIp+2l8j3r UCmw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=4ahkxnLt6ofsfG8sbb/n+Pq9K6PYZHdx8+oSGYbdKOw=; b=sPewddcZ0RQmeX/X5w3ZB2FlIhk2gEVo1TlZo1UCGjJKI78lVLUML/JQFz5YwPVHPU IAxvS+tw98XoHTkxyjq9y/bOvT+B9AuAJ8yTdauXbGpGhETMLEAKtoYz1Iyr3v0mp/JO 1gHm6VoMxCMRA26NT4IXKgDCYsK6dQd7eBsvzilOXyFjid0K41rj1zYmCtyOIqveOV3G 2np0rXJB5Oe3wNQ5iTZCoxY0p64DjbO4tQYmoWZDBQq/mGdE/abEcAc9xvQ588VukuLL 1WodVUNl4VVuM+rulaCZJEBgCV2cXwjrMf2J+iV2SvnmyuqlWLyavgf7frha20viPXnB ojdw== X-Received: by 10.50.34.161 with SMTP id a1mr484779igj.5.1389147180717; Tue, 07 Jan 2014 18:13:00 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.50.60.74 with SMTP id f10ls678987igr.16.gmail; Tue, 07 Jan 2014 18:13:00 -0800 (PST) X-Received: by 10.50.147.65 with SMTP id ti1mr48920igb.13.1389147179986; Tue, 07 Jan 2014 18:12:59 -0800 (PST) Date: Tue, 7 Jan 2014 18:12:58 -0800 (PST) From: guskant To: lojban@googlegroups.com Message-Id: <71d7a1c8-43ef-4715-9624-a5960a7fb2a3@googlegroups.com> In-Reply-To: References: <52CB3AC2.3070507@gmx.de> <0413ea89-18e2-42df-8725-f150e2eb34e9@googlegroups.com> Subject: Re: [lojban] [oz] Use of elidable {cu} MIME-Version: 1.0 X-Original-Sender: gusni.kantu@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary="----=_Part_3824_26408569.1389147178651" X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / ------=_Part_3824_26408569.1389147178651 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Le mercredi 8 janvier 2014 00:50:24 UTC+9, xorxes a =E9crit : > > > > > On Tue, Jan 7, 2014 at 12:27 PM, Felipe Gon=E7alves Assis < > felipe...@gmail.com > wrote: > >> In >> >> http://users.digitalkingdom.org/~rlpowell/hobbies/lojban/grammar/lojban.= peg.txt >> (where can I find the file used by camxes?) >> There is this rule >> >> term-1 <- sumti / ( !gek (tag / FA-clause free*) (sumti / KU-clause?=20 >> free*) ) / termset / NA-clause KU-clause free* >> >> >> I don't have a firm grasp of formal grammars, so correct me if I am wron= g. >> >> 1. This rule is relevant. >> 2. If we make the KU-clause mandatory, instead of optional, my mental=20 >> grammar is realized. >> >> term-1 <- sumti / ( !gek (tag / FA-clause free*) (sumti / KU-clause=20 >> free*) ) / termset / NA-clause KU-clause free* >> > > That's one way of dealing with it, although for my taste it has the=20 > disadvantage of making a terminator non-elidable, which is exceptional.= =20 > Also, because of the silly restrictions on compound tags, you would have = to=20 > be very aware of which tags can be combined without ku and which strings = of=20 > tags would require ku insertions to make them work. > > The way I would rather do it is: > > term-1 <- sumti / ( !gek (tag !selbri-1 / FA-clause free*) (sumti /=20 > KU-clause? free*) ) / termset / NA-clause KU-clause free* > > which means that the tag will not be absorbed as a term if it's directly= =20 > followed by a selbri-1 (in which case it will be absorbed by the selbri= =20 > rule), > > mu'o mi'e xorxes > > I agree with xorxes. As for zasni gerna: http://www.lojban.org/tiki/zasni+gerna term <- FA#? sumti / tag? sumti / FA# KU#? / tag KU#? / NA# KU#? / gek=20 term+ VAU#? GI# term+ VAU#? should be replaced with=20 term <- FA#? sumti / tag? sumti / FA# KU#? / tag !selbri KU#? / NA# KU#? /= =20 gek term+ VAU#? GI# term+ VAU#? , shouldn't it? --=20 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 e= mail 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. For more options, visit https://groups.google.com/groups/opt_out. ------=_Part_3824_26408569.1389147178651 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable


Le mercredi 8 janvier 2014 00:50:24 UTC+9, xorxes = a =E9crit :



On Tue, Jan 7, 2014 at 12:27= PM, Felipe Gon=E7alves Assis <felipe...@gmail.com> wrote:
In
http://users.digitalkingdom.org/~rlpowell/h= obbies/lojban/grammar/lojban.peg.txt
(where can I find the file used by camxes?)
There is this rule

term-1 <- sumti / ( !gek (tag / FA-clause free= *) (sumti / KU-clause? free*) ) / termset / NA-clause KU-clause free*

I don't have a firm grasp of formal grammars, so correct me if I am w= rong.

1. This rule is relevant.
2. If we make the KU-clause mandatory, ins= tead of optional, my mental grammar is realized.

term-1 <- sumti = / ( !gek (tag / FA-clause free*) (sumti / KU-clause free*) ) / termset / NA= -clause KU-clause free*

That's one way of = dealing with it, although for my taste it has the disadvantage of making a = terminator non-elidable, which is exceptional. Also, because of the silly r= estrictions on compound tags, you would have to be very aware of which tags= can be combined without ku and which strings of tags would require ku inse= rtions to make them work.

The way I would rather do it is:

term-1 <- sumti / ( !gek (tag !selbri-1 / FA-clause free*) (sumti / K= U-clause? free*) ) / termset / NA-clause KU-clause free*

which means that the tag will not be absorbed as a term if i= t's directly followed by a selbri-1 (in which case it will be absorbed by t= he selbri rule),

mu'o mi'e xorxes


I agree with xorxes.
As for zasni gerna: htt= p://www.lojban.org/tiki/zasni+gerna

term <- FA#= ? sumti / tag? sumti / FA# KU#? / tag KU#? / NA# KU#? / gek term+ VAU#? GI#= term+ VAU#?

should be replaced with 

term <- FA#? sumti / tag? sumti / FA# KU#? / tag !selb= ri KU#? / NA# KU#? / gek term+ VAU#? GI# term+ VAU#?

, shouldn't it?

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail 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.
For more options, visit https://groups.google.com/groups/opt_out.
------=_Part_3824_26408569.1389147178651--