From lojban+bncCLr6ktCfBBDu_-LwBBoEJUzjzw@googlegroups.com Sat Jul 09 13:54:21 2011 Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QfeXZ-0002Lq-EU; Sat, 09 Jul 2011 13:54:21 -0700 Received: by pwj8 with SMTP id 8sf1251537pwj.16 for ; Sat, 09 Jul 2011 13:54:11 -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; bh=du2BclHPidrITGxevxkROiZsD4yI8xNO8ufgBK5Wtkg=; b=dFtrIgKWPN0smIdd0FqROmIn9K5ROAqzRoAHmOp5y2ymfyGSEaS+ONm8XGcma1f8yV 90ZcTsjntTipPV/PK6W8dLezqZLvzQ4bAJLIX2a5nJDheZh1RYmMqDgGzMs4V1V7aBtM h8A1kwbVypR+SNlDnAG2eh0awcPHPSkQXTEQ0= Received: by 10.68.15.99 with SMTP id w3mr212890pbc.1.1310244846767; Sat, 09 Jul 2011 13:54:06 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.59.41 with SMTP id w9ls2056927pbq.1.gmail; Sat, 09 Jul 2011 13:54:06 -0700 (PDT) Received: by 10.68.0.167 with SMTP id 7mr746328pbf.23.1310244846181; Sat, 09 Jul 2011 13:54:06 -0700 (PDT) Received: by 10.68.0.167 with SMTP id 7mr746327pbf.23.1310244846169; Sat, 09 Jul 2011 13:54:06 -0700 (PDT) Received: from mail-pz0-f46.google.com (mail-pz0-f46.google.com [209.85.210.46]) by gmr-mx.google.com with ESMTPS id c10si23587670pbn.1.2011.07.09.13.54.05 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 09 Jul 2011 13:54:05 -0700 (PDT) Received-SPF: neutral (google.com: 209.85.210.46 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.210.46; Received: by pzk9 with SMTP id 9so2112295pzk.19 for ; Sat, 09 Jul 2011 13:54:05 -0700 (PDT) Received: by 10.68.58.229 with SMTP id u5mr5040526pbq.233.1310244843225; Sat, 09 Jul 2011 13:54:03 -0700 (PDT) Received: from sunflowerriver.org (c-68-35-164-105.hsd1.nm.comcast.net [68.35.164.105]) by mx.google.com with ESMTPS id x2sm7248851pbn.93.2011.07.09.13.54.00 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 09 Jul 2011 13:54:02 -0700 (PDT) Date: Sat, 9 Jul 2011 14:53:58 -0600 From: ".alyn.post." To: lojban@googlegroups.com Subject: Re: [lojban] camxes request ... Message-ID: <20110709205358.GC2387@alice.local> Mail-Followup-To: lojban@googlegroups.com References: <20110707204816.GB8547@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.210.46 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 Hello Frank, I am currently working on the 4th baseline grammar; which is the translation of the official grammar from YACC/BNF to PEG. I'm building on work done by Robin and xorxes. I'm in a quiet period for this work, being focused on fixing bugs in the so-called Magic Words implementation in the PEG grammar. There isn't a lot to report publically, but I could certainly upload my very-much-a-work-in-progress nothing-useful-here implementation if you ask. I doubt it is useful to you in it's current form, however. The public work I do have is here: http://wiki.call-cc.org/eggref/4/jbogenturfahi With the PEG grammar specifically being: http://bugs.call-cc.org/browser/release/4/jbogenturfahi/trunk/rafske.peg http://bugs.call-cc.org/browser/release/4/jbogenturfahi/trunk/rafske_gumgau.peg http://bugs.call-cc.org/browser/release/4/jbogenturfahi/trunk/gerna.peg These files are all derived from camxes, and have only minor bugfixes until I merge in my work on Magic Words. No one knows yet whether jbogenturfa'i will become the official parser, or whether the PEG grammar it uses will be ported to another parser which will become the official parser. However, the PEG grammar in jbogenturfa'i is the most continuously tested. One of my projects is to take all of the example Lojban in the CLL and run in through the parser to assert it is producing a correct parse tree. As well, I'm constructing other test cases to ensure the PEG grammar is correct. I'm interested in asserting that every production can be reached and matched; using the grammar to generate example phrases that reparse to the same parse tree. Unless you're interested in some very obscure boundary conditions with Magic Words, the PEG grammar is the most accurate grammar we've got. I am still finding the occasional bug, but Robin and I last week found a bug in the YACC grammar! What project are you working on? Is it something where we'd be able to share work? Are you planning on making changes to the PEG that should be merged upstream? -Alan On Thu, Jul 07, 2011 at 06:38:09PM -0400, Frank wrote: > On 7 July 2011 16:48, Robin Lee Powell wrote: > > On Thu, Jul 07, 2011 at 04:44:53PM -0400, Frank wrote: > > > > http://www.digitalkingdom.org/~rlpowell/hobbies/lojban/grammar/ > > ki'e > > > Honestly, though, now that there are *way* more decent PEG parsers > > out there, I'd rather people stole the PEG and made their own, one > > that sucks less. > > Ah, I see. I was under the impression, however, camxes was considered > an adequate parser. No matter. You definitely have more experience in > this area than I. > > BTW, the PEG in question is this one, yes? => > http://www.digitalkingdom.org/~rlpowell/hobbies/lojban/grammar/lojban.peg.txt > > > IIRC Alan Post is working on that already? > > Perhaps. I will ask Alan. > > ki'e > > -- > 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. > -- .i ma'a lo bradi ku penmi gi'e du -- 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.