From lojban+bncCJ2UzZHuDRCIn63mBBoElo7BkA@googlegroups.com Fri Oct 29 15:49:59 2010 Received: from mail-ww0-f61.google.com ([74.125.82.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PBxlk-0004qI-OU; Fri, 29 Oct 2010 15:49:59 -0700 Received: by wwb34 with SMTP id 34sf2067418wwb.16 for ; Fri, 29 Oct 2010 15:49:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:mime-version:received:received :in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=7Y+8Xv29yg33Z9tMqXY97XneeoRpmtOueqP/t6x38hg=; b=q/hViBqizO37rX3PNsLEWVP0KWygTs6hDakA8crLYdSOr8XCFN0ZjNznw6j30DmSHB 1DCsI8K5tB+yqSVhgC0Rb6yG4W+hEz3jihVQtEq64CHhl1/qpckCefhkoHECrxx4SxJL AeaZ2wG69X7Zs0VS2oyHRpeAB5EfTk5FHN6Ro= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-transfer-encoding; b=RqJI7YxJfHkj3yPORW3Pu3EVc2GOJb68tkD47ciSQqiSxaryH0SJRAE4qe2xib5DHz uvUjxacujYl+a2ssvcK3MNzw7f5Aj0mDG9jX1o6IOiz/YMCzccwkiq9GFoU4zOjaRwIo CPHZXFTmk/qOquVv3gTeCMUQUTDf8sbwkkGM8= Received: by 10.216.237.231 with SMTP id y81mr1938514weq.8.1288392584066; Fri, 29 Oct 2010 15:49:44 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.216.242.202 with SMTP id i52ls1474707wer.0.p; Fri, 29 Oct 2010 15:49:43 -0700 (PDT) Received: by 10.216.36.21 with SMTP id v21mr669002wea.4.1288392583138; Fri, 29 Oct 2010 15:49:43 -0700 (PDT) Received: by 10.216.36.21 with SMTP id v21mr669001wea.4.1288392583104; Fri, 29 Oct 2010 15:49:43 -0700 (PDT) Received: from mail-wy0-f169.google.com (mail-wy0-f169.google.com [74.125.82.169]) by gmr-mx.google.com with ESMTP id x80si895057weq.4.2010.10.29.15.49.42; Fri, 29 Oct 2010 15:49:42 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.169 as permitted sender) client-ip=74.125.82.169; Received: by mail-wy0-f169.google.com with SMTP id 23so3893778wyf.0 for ; Fri, 29 Oct 2010 15:49:42 -0700 (PDT) MIME-Version: 1.0 Received: by 10.227.136.72 with SMTP id q8mr9706745wbt.52.1288392581935; Fri, 29 Oct 2010 15:49:41 -0700 (PDT) Received: by 10.227.32.140 with HTTP; Fri, 29 Oct 2010 15:49:41 -0700 (PDT) In-Reply-To: <20101029194001.GI47249@alice.local> References: <20101029194001.GI47249@alice.local> Date: Fri, 29 Oct 2010 19:49:41 -0300 Message-ID: Subject: Re: [lojban] questions about peg grammar From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.169 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Oct 29, 2010 at 4:40 PM, .alyn.post. wrote: > On Fri, Oct 29, 2010 at 03:36:09PM -0400, Luke Bergen wrote: >> =A0 =A0Ok, so I'm trying to get a feel for how the peg grammar handles l= ujvo so >> =A0 =A0that I can make my parser be as close to the real deal as possibl= e (i.e. >> =A0 =A0not a sloppy hack). I have a question though. I think the relevan= t section >> =A0 =A0that I want to understand is the following, correct? >> =A0 =A0;----------------------------------------------------------------= ------------------------------------------------------------------------- >> =A0 =A0lujvo <- !gismu !fuhivla !cmavo initial-rafsi* brivla-core >> =A0 =A0brivla-core <- fuhivla / gismu / CVV-final-rafsi / stressed-initi= al-rafsi >> =A0 =A0short-final-rafsi >> =A0 =A0stressed-initial-rafsi <- stressed-extended-rafsi / stressed-y-ra= fsi / >> =A0 =A0stressed-y-less-rafsi >> =A0 =A0initial-rafsi <- extended-rafsi / y-rafsi / !any-extended-rafsi >> =A0 =A0y-less-rafsi >> =A0 =A0any-extended-rafsi <- fuhivla / extended-rafsi / stressed-extende= d-rafsi >> =A0 =A0;----------------------------------------------------------------= ------------------------------------------------------------------------- >> =A0 =A0Now, I may be reading this incorrectly, but wouldn't this mean th= at an >> =A0 =A0initial rafsi followed by a fuhivla would be considered a lujvo? = i.e. >> =A0 =A0{bracidrspageti}? >> > > This is a bit tricky. > > Look at the early part of the lujvo definition, and you can see > there is a predicate-not operation saying "it can't have a fuhivla" > (That is the !fuhivla). That's right. > So when the brivla-core matches, even through brivla-core is capable > of having a fuhivla, it won't ever have one in this case, because > the earlier predicate-not operation in the lujvo nonterminal won't let > one be there. That's not exactly right, however. The !fu'uvla only says that a fu'ivla can't immediately follow. And yes, that's why "bracidrspageti" is not a lujvo, because it (the whole thing) will match the fu'ivla rule. "bracidrspageti" is a valid fu'ivla. But "bracidyspageti" for example will be accepted as a lujvo. It is "initial-rafsi initial-rafsi fu'ivla", which matches the lujvo rule because it does not begin with something that matches the gismu, the fu'ivla or the cmavo rules. The PEG grammar accepts lujvo made of fu'ivla. In particular every fu'ivla works as the final rafsi of a lujvo, but it must always be preceded by a rafsi that ends in "y". mu'o mi'e xorxes --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.