From lojban+bncCLr6ktCfBBDLsqDqBBoEvbX47Q@googlegroups.com Tue Feb 01 06:31:57 2011 Received: from mail-yx0-f189.google.com ([209.85.213.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PkHGp-0002kw-BW; Tue, 01 Feb 2011 06:31:57 -0800 Received: by yxn35 with SMTP id 35sf4487434yxn.16 for ; Tue, 01 Feb 2011 06:31:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature: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:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-disposition; bh=+uEU19h1SWHQoM1d5M4B3ktcd3xAgxkZbHk57ofk+Yk=; b=NJ1W4nliCtEi3L04IOrmZ3qTd1Fo7+2R4fuc1mGnYKKZ2uzgyMO1/QoJOfyI+YQjfq uE3xW2ks5tMhOq4tIWS/WRyxUflqJ9k/Ye65ZIKFY4MQs9etO3Fz9hanhbMJEtMR+r/6 Tfw1LvnjrUtBm9zX6DgMmHPe6TuBnpLCFkWJI= DomainKey-Signature: a=rsa-sha1; c=nofws; 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:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-disposition; b=ooQSka8uWa4ha4TJihJV3kf0tkgYdr69TEadOeHae0l0azOpI2FWV6V3rt8lLQnBkP A3FBgNR/CN3C8hLdmcv45c8NA10bCZtS5t8seLQfegK469ZdtxBpsNSPyHXvvsM7SoTB oR6996axqui7wbqRkSIJdiYQ+RBinVuNZQFoM= Received: by 10.150.50.10 with SMTP id x10mr789191ybx.1.1296570699315; Tue, 01 Feb 2011 06:31:39 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.150.201.10 with SMTP id y10ls3373940ybf.6.p; Tue, 01 Feb 2011 06:31:36 -0800 (PST) Received: by 10.150.206.8 with SMTP id d8mr457206ybg.10.1296570696945; Tue, 01 Feb 2011 06:31:36 -0800 (PST) Received: by 10.150.206.8 with SMTP id d8mr457205ybg.10.1296570696918; Tue, 01 Feb 2011 06:31:36 -0800 (PST) Received: from mail-gy0-f178.google.com (mail-gy0-f178.google.com [209.85.160.178]) by gmr-mx.google.com with ESMTPS id q2si3354188ybe.8.2011.02.01.06.31.36 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 01 Feb 2011 06:31:36 -0800 (PST) Received-SPF: neutral (google.com: 209.85.160.178 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.160.178; Received: by gyh4 with SMTP id 4so2926537gyh.37 for ; Tue, 01 Feb 2011 06:31:36 -0800 (PST) Received: by 10.100.251.13 with SMTP id y13mr4049052anh.211.1296570696093; Tue, 01 Feb 2011 06:31:36 -0800 (PST) Received: from sunflowerriver.org (c-68-35-165-60.hsd1.nm.comcast.net [68.35.165.60]) by mx.google.com with ESMTPS id t1sm27339154ano.23.2011.02.01.06.31.33 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 01 Feb 2011 06:31:34 -0800 (PST) Date: Tue, 1 Feb 2011 07:31:30 -0700 From: ".alyn.post." To: lojban@googlegroups.com Subject: Re: [lojban] jbogenturfa'i grammar testing Message-ID: <20110201143130.GB52215@alice.local> Mail-Followup-To: lojban@googlegroups.com References: <20110201131358.GA52215@alice.local> 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.160.178 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: 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 ki'esai mi se pluka lo do nu cusku .i mu'o mi'e .alyn. Thank you! I appreciate your comment. -Alan On Tue, Feb 01, 2011 at 09:21:30AM -0500, Luke Bergen wrote: > Dude, you are awesome! > I've been lurking these threads of yours about your accounts with the PEG > and honestly, well done. Round of applause for your hard work in this > area. > > On Tue, Feb 1, 2011 at 8:13 AM, .alyn.post. > <[1]alyn.post@lodockikumazvati.org> wrote: > > I've just checked in my first batch of tests for jbogenturfa'i. > I have tests for the selma'o ZOI and CLL 19.10 (which covers ZOI): > > [2]http://bugs.call-cc.org/browser/release/4/jbogenturfahi/trunk/tests/selmaho/zoi.scm > > [3]http://bugs.call-cc.org/browser/release/4/jbogenturfahi/trunk/tests/cll/19/10.scm > > Both of these files compare Lojban statements to the parse tree > generated by jbogenturfa'i. I don't return the literal parse tree > generated by the grammar but rather an idealized one. For example, > here is CLL example 19.10.1: > > text: > > zo si cu lojbo valsi > > jbogenturfa'i. Note that the structure of the text is evident, > and that the sentence has a defined selbri and x1 place: > > (text (paragraphs > (paragraph > (sentence > (term (sumti (ZO-clause (cmavo (ZO "zo")) > (cmavo (SI "si"))))) > (CU-clause (cmavo (CU "cu"))) > (selbri > (BRIVLA-clause (gismu "lojbo")) > (BRIVLA-clause (gismu "valsi"))))))) > > camxes. This is the default, camxes has flags that affect the > way the parse tree is written: > > text > sentence > |- ZOPre > | |- CMAVO > | | ZO: zo > | |- CMAVO > | SI: si > |- CMAVO > | CU: cu > |- selbri3 > |- BRIVLA > | gismu: lojbo > |- BRIVLA > gismu: valsi > > jbofi'e -x -b: > > [ ( zo si ) cu << | lojbo valsi | >> ] > [ ( "erase word" ) is/does << | Lojbanic [type-of] being word(s) | >> ] > [ ( valsi1 (word(s)) ) << \ / >> ] > 1 2 2 3 4 4 3 1 > > I have not developed enough test cases yet to consider the parse > tree I'm generating final, but the basic idea is there: generate > a parse tree where the logical structure can be programatically > manipulated and the productions generating the grammar can change > without affecting the logical parse tree. > > My next step is to test the remaining selma'o and CLL sections. > While I do this, I plan on developing a comprehensive test suite > for the grammar and using it to optimize and simplify the PEG > grammar, with the goal of getting it sufficiently well tested > to become the official grammar. > > -Alan > -- > .i ko djuno fi le do sevzi > -- > You received this message because you are subscribed to the Google > Groups "lojban" group. > To post to this group, send email to [4]lojban@googlegroups.com. > To unsubscribe from this group, send email to > [5]lojban+unsubscribe@googlegroups.com. > For more options, visit this group at > [6]http://groups.google.com/group/lojban?hl=en. > > -- > 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@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban?hl=en. > > References > > Visible links > 1. mailto:alyn.post@lodockikumazvati.org > 2. http://bugs.call-cc.org/browser/release/4/jbogenturfahi/trunk/tests/selmaho/zoi.scm > 3. http://bugs.call-cc.org/browser/release/4/jbogenturfahi/trunk/tests/cll/19/10.scm > 4. mailto:lojban@googlegroups.com > 5. mailto:lojban%2Bunsubscribe@googlegroups.com > 6. http://groups.google.com/group/lojban?hl=en -- .i ko djuno fi le do sevzi -- 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@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.