From lojban+bncCLr6ktCfBBDC7ZXxBBoEiK9DpQ@googlegroups.com Tue Jul 19 05:28:19 2011 Received: from mail-gx0-f189.google.com ([209.85.161.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Qj9Kr-0003Mq-Ms; Tue, 19 Jul 2011 05:27:23 -0700 Received: by gxk3 with SMTP id 3sf4818059gxk.16 for ; Tue, 19 Jul 2011 05:21:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type:content-disposition:content-transfer-encoding; bh=FxyD30eeHU9fThk21P4JTfORNjYbA1SnESYUAzKaukM=; b=qVgHC1vN9Lf4knAATVJ1Y21hM0cGDbr/7ogZCI9HJPDTNHUba9GjizGIyhhdljCQPN aDp8exk/G6VwIGVDhHtBZdLnrcQr4fDygcui8FjTkoiwrPcR4V0wLe0UszQ2F+XC3nCy iTvOYyudNetWAnxkOh+evQH4nmoCOoko2sWBI= Received: by 10.151.5.1 with SMTP id h1mr1134512ybi.72.1311078082421; Tue, 19 Jul 2011 05:21:22 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.150.27.41 with SMTP id a41ls786538yba.1.gmail; Tue, 19 Jul 2011 05:21:20 -0700 (PDT) Received: by 10.236.155.99 with SMTP id i63mr3196953yhk.199.1311078080540; Tue, 19 Jul 2011 05:21:20 -0700 (PDT) Received: by 10.236.155.99 with SMTP id i63mr3196952yhk.199.1311078080531; Tue, 19 Jul 2011 05:21:20 -0700 (PDT) Received: from mail-gx0-f173.google.com (mail-gx0-f173.google.com [209.85.161.173]) by gmr-mx.google.com with ESMTPS id d41si1944269yhe.3.2011.07.19.05.21.19 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 19 Jul 2011 05:21:19 -0700 (PDT) Received-SPF: neutral (google.com: 209.85.161.173 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.161.173; Received: by gxk26 with SMTP id 26so2358562gxk.18 for ; Tue, 19 Jul 2011 05:21:19 -0700 (PDT) Received: by 10.91.207.7 with SMTP id j7mr6683265agq.73.1311078079160; Tue, 19 Jul 2011 05:21:19 -0700 (PDT) Received: from sunflowerriver.org ([209.234.140.58]) by mx.google.com with ESMTPS id v20sm5347777ani.41.2011.07.19.05.21.16 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 19 Jul 2011 05:21:18 -0700 (PDT) Date: Tue, 19 Jul 2011 06:21:14 -0600 From: ".alyn.post." To: lojban@googlegroups.com Subject: Re: [lojban] Yet another PEG question ... Message-ID: <20110719122114.GA55382@alice.local> Mail-Followup-To: lojban@googlegroups.com References: <20110717171041.GA46784@alice.local> <20110717171248.GB46784@alice.local> <20110718165622.GE18524@digitalkingdom.org> Mime-Version: 1.0 In-Reply-To: X-Original-Sender: alyn.post@lodockikumazvati.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 209.85.161.173 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.org 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: text/plain; charset=ISO-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable The '()' isn't superfluous, but it is a little strange. It's matching the empty string, there. In the PEG grammar for jbogenturfa'i, that production is rewritten as: rp-expression-tail <- ( rp-expression operator rp-expression-tail )? Though I haven't finished testing it. -Alan On Mon, Jul 18, 2011 at 08:38:58PM -0400, Frank wrote: > ki'e .i What of "rp-expression-tail <- rp-expression operator > rp-expression-tail / ()"? The '()' seems to be superfluous, yes? >=20 > On 18 July 2011 12:56, Robin Lee Powell wro= te: > > That's ZOI stuff; that's actual variables for Java code; see > > rats/lojban.java > > > > ZOI cannot be handled by straight PEG or CFG; it requires code hooks > > or a true CSG as far as we can tell. > > > > -Robin > > > > On Mon, Jul 18, 2011 at 10:02:45AM -0400, Frank wrote: > >> I also see "innerWordSEP2" and "innerWordSEP3" in the grammar file > >> and not in the morphology one but do not seem to be able to find a > >> definition. What are these terms, if Anyone remembers? (I know how > >> easy it can be to code something and then forget why One did > >> that.) > >> > >> mi'e xuinkrbin. > >> > >> On 17 July 2011 13:12, .alyn.post. wr= ote: > >> > On Sun, Jul 17, 2011 at 11:10:41AM -0600, .alyn.post. wrote: > >> >> On Sun, Jul 17, 2011 at 01:41:26PM -0300, Jorge Llamb=EDas wrote: > >> >> > On Sun, Jul 17, 2011 at 12:44 PM, Frank wrote: > >> >> > > =A0 =A0 =A0 =A0NORATS CMAVO-word-pre <- " CMAVO=3D( " > >> >> > > =A0 =A0 =A0 =A0NORATS CMAVO <- CMAVO-word-pre inner-word close-= paren > >> >> > > /If/, and this is a big 'if', I understand correctly, such line= s mean > >> >> > > a parser attempting to find a cmavo in a portion of lojban text= should > >> >> > > look for (literal) "CMAVO=3D(" followed by some other text foll= owed by a > >> >> > > literal ")", which would suggest some form of pre-interpretatio= n of > >> >> > > said lojban text before parsing. But how could such be? Would n= ot the > >> >> > > purpose of the parser be to perform such interpretation? > >> >> > > >> >> > In his implementation of the PEG, Robin divided the grammar into = two > >> >> > stages, morphology and syntax. The output of the morphology stage > >> >> > produced something containing such things as "CMAVO=3D( da )" and= then > >> >> > the syntax part worked with that output. There's no need to do th= is > >> >> > other than resolving some practical concern of that implementatio= n. > >> >> > The official PEG (when we have it) should not have such things. > >> >> > > >> >> > >> >> jbgenturfa'i does not include these productions, and instead "more > >> >> directly" interfaces with the morphology by treating the morphology > >> >> and grammar as a single PEG grammar. =A0The behavior above was so > >> >> Robin and xorxes could work and debug together; and perhaps for > >> >> other reasons. =A0Exactly as xorxes said, they aren't needed and ar= e > >> >> an artifact of camxes. > >> >> > >> >> Will you talk a little about what you're doing? =A0So far your > >> >> questions are exactly the ones I asked, when I started using camxes= , > >> >> and the answers I got then are now included in jbogenturfa'i. > >> >> > >> > > >> > I'm sorry, I was reading my e-mail in reverse order, and I see you > >> > have answered this question. > >> > > >> > -Alan > >> > -- > >> > .i ma'a lo bradi cu penmi gi'e du > >> > > >> > -- > >> > You received this message because you are subscribed to the Google G= roups "lojban" group. > >> > To post to this group, send email to lojban@googlegroups.com. > >> > To unsubscribe from this group, send email to lojban+unsubscribe@goo= glegroups.com. > >> > For more options, visit this group at http://groups.google.com/group= /lojban?hl=3Den. > >> > > >> > > >> > >> -- > >> You received this message because you are subscribed to the Google Gro= ups "lojban" group. > >> To post to this group, send email to lojban@googlegroups.com. > >> To unsubscribe from this group, send email to lojban+unsubscribe@googl= egroups.com. > >> For more options, visit this group at http://groups.google.com/group/l= ojban?hl=3Den. > >> > > > > -- > > http://singinst.org/ : =A0Our last, best hope for a fantastic future. > > Lojban (http://www.lojban.org/): The language in which "this parrot > > is dead" is "ti poi spitaki cu morsi", but "this sentence is false" > > is "na nei". =A0 My personal page: http://www.digitalkingdom.org/rlp/ > > > > -- > > You received this message because you are subscribed to the Google Grou= ps "lojban" group. > > To post to this group, send email to lojban@googlegroups.com. > > To unsubscribe from this group, send email to lojban+unsubscribe@google= groups.com. > > For more options, visit this group at http://groups.google.com/group/lo= jban?hl=3Den. > > > > >=20 > --=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@googlegr= oups.com. > For more options, visit this group at http://groups.google.com/group/lojb= an?hl=3Den. >=20 --=20 .i ma'a lo bradi cu penmi gi'e du --=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.