From lojban+bncCOjSjrXVGBDtraDqBBoEob1RDQ@googlegroups.com Tue Feb 01 06:21:49 2011 Received: from mail-gy0-f189.google.com ([209.85.160.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PkH72-0007xh-S6; Tue, 01 Feb 2011 06:21:49 -0800 Received: by gyb11 with SMTP id 11sf4534240gyb.16 for ; Tue, 01 Feb 2011 06:21:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature: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; bh=TWCJDI1h6RW0kyBH95psG8DnmdDC7nYEr9Sebp+lrws=; b=1LqYOCJ5jHlPUfGj1U64ifX6jGi4m88HoCK0UXmUUpq8+wV3HhhdSxjcy8310xoIof /667OXJucp0n7RIEnnn00xVmAqspMTWMiJBYbMikAvSyB2c1GDgA+YvYmjSYivQ10O4E kCPc7L0nPV8f96DdECKVMlqowwNM8tL5neomA= 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; b=ZrIGQm44TcPN57Op790kzz7gHGgBA6jPo7lkAIZ5tVPezxlP4Uk1XgIciBnimCle7/ 1Y9y1yhCf+RYhrdDt84mbyPKg/MkNhfUtvRxzu5u4j/OfhdU1cafwDCRzdGIhVmgY5IO bgGie7OFn4np2spjtMcOmIBgpA6K4B7QrHTKI= Received: by 10.236.95.136 with SMTP id p8mr569279yhf.27.1296570093238; Tue, 01 Feb 2011 06:21:33 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.231.57.97 with SMTP id b33ls4613244ibh.0.p; Tue, 01 Feb 2011 06:21:31 -0800 (PST) Received: by 10.231.200.129 with SMTP id ew1mr4017877ibb.0.1296570091556; Tue, 01 Feb 2011 06:21:31 -0800 (PST) Received: by 10.231.200.129 with SMTP id ew1mr4017876ibb.0.1296570091521; Tue, 01 Feb 2011 06:21:31 -0800 (PST) Received: from mail-iw0-f177.google.com (mail-iw0-f177.google.com [209.85.214.177]) by gmr-mx.google.com with ESMTPS id j25si5256721ibb.4.2011.02.01.06.21.30 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 01 Feb 2011 06:21:30 -0800 (PST) Received-SPF: pass (google.com: domain of lukeabergen@gmail.com designates 209.85.214.177 as permitted sender) client-ip=209.85.214.177; Received: by iwn38 with SMTP id 38so8882671iwn.22 for ; Tue, 01 Feb 2011 06:21:30 -0800 (PST) MIME-Version: 1.0 Received: by 10.231.191.4 with SMTP id dk4mr8380361ibb.31.1296570090069; Tue, 01 Feb 2011 06:21:30 -0800 (PST) Received: by 10.231.200.194 with HTTP; Tue, 1 Feb 2011 06:21:30 -0800 (PST) In-Reply-To: <20110201131358.GA52215@alice.local> References: <20110201131358.GA52215@alice.local> Date: Tue, 1 Feb 2011 09:21:30 -0500 Message-ID: Subject: Re: [lojban] jbogenturfa'i grammar testing From: Luke Bergen To: lojban@googlegroups.com X-Original-Sender: lukeabergen@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of lukeabergen@gmail.com designates 209.85.214.177 as permitted sender) smtp.mail=lukeabergen@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: multipart/alternative; boundary=0016367d6ae2a52043049b393f0b --0016367d6ae2a52043049b393f0b Content-Type: text/plain; charset=ISO-8859-1 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. 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): > > > > http://bugs.call-cc.org/browser/release/4/jbogenturfahi/trunk/tests/selmaho/zoi.scm > > > 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 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. > > -- 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. --0016367d6ae2a52043049b393f0b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dude, you are awesome!

I've been lurking these threa= ds of yours about your accounts with the PEG and honestly, well done. =A0Ro= und of applause for your hard work in this area.

On Tue, Feb 1, 2011 at 8:13 AM, .alyn.post. <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):


http://bugs.call-cc.org/browser/rele= ase/4/jbogenturfahi/trunk/tests/selmaho/zoi.scm

http://bugs.call-cc.org/browser/releas= e/4/jbogenturfahi/trunk/tests/cll/19/10.scm

Both of these files compare Lojban statements to the parse tree
generated by jbogenturfa'i. =A0I don't return the literal parse tre= e
generated by the grammar but rather an idealized one. =A0For example,
here is CLL example 19.10.1:

=A0text:

=A0 =A0zo si cu lojbo valsi

=A0jbogenturfa'i. =A0Note that the structure of the text is evident, =A0 =A0and that the sentence has a defined selbri and x1 place:

=A0 =A0(text (paragraphs
=A0 =A0 =A0 =A0 =A0 =A0(paragraph
=A0 =A0 =A0 =A0 =A0 =A0 =A0(sentence
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0(term (sumti (ZO-clause (cmavo (ZO "zo= "))
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0(cmavo (SI "si")))))
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0(CU-clause (cmavo (CU "cu")))
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0(selbri
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0(BRIVLA-clause (gismu "lojbo"= ))
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0(BRIVLA-clause (gismu "valsi"= )))))))


=A0camxes. =A0This is the default, camxes has flags that affect the
=A0 =A0way the parse tree is written:

=A0 =A0text
=A0 =A0 =A0sentence
=A0 =A0 =A0|- ZOPre
=A0 =A0 =A0| =A0|- CMAVO
=A0 =A0 =A0| =A0| =A0 =A0 ZO: zo
=A0 =A0 =A0| =A0|- CMAVO
=A0 =A0 =A0| =A0 =A0 =A0 =A0SI: si
=A0 =A0 =A0|- CMAVO
=A0 =A0 =A0| =A0 =A0 CU: cu
=A0 =A0 =A0|- selbri3
=A0 =A0 =A0 =A0 |- BRIVLA
=A0 =A0 =A0 =A0 | =A0 =A0 gismu: lojbo
=A0 =A0 =A0 =A0 |- BRIVLA
=A0 =A0 =A0 =A0 =A0 =A0 =A0 gismu: valsi


=A0jbofi'e -x -b:

[ ( zo si =A0 =A0 =A0 =A0 =A0 =A0) cu =A0 =A0 =A0<< | =A0lojbo =A0 = =A0 =A0 =A0 =A0 =A0 =A0valsi =A0 =A0 =A0 =A0 =A0| >> ]
[ ( "erase word" =A0 =A0 ) is/does << | =A0Lojbanic [type-o= f] being word(s) =A0| >> ]
[ ( valsi1 (word(s)) ) =A0 =A0 =A0 =A0 << =A0\ =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0/ =A0>> ]
1 2 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A02 =A0 =A0 =A0 =A0 3 =A04 =A0 =A0 =A0= =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 4 =A03 =A01

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 &= quot;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/lojba= n?hl=3Den.


--
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.
--0016367d6ae2a52043049b393f0b--