Received: from mail-gg0-f184.google.com ([209.85.161.184]:58312)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBCW7JPVOKYIOTMEXQ4CRUBEJ2GSMY@googlegroups.com>)
	id 1TqqEi-00026k-9t; Thu, 03 Jan 2013 11:14:02 -0800
Received: by mail-gg0-f184.google.com with SMTP id q3sf9169547gge.1
        for <multiple recipients>; Thu, 03 Jan 2013 11:13:45 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:x-received:received-spf:date:from
         :to:subject:message-id:mail-followup-to:references:mime-version
         :in-reply-to:user-agent: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=cj/5VthIlT0oInSUQTNDsPsbxzMmabr3SDqwQ8Adkw4=;
        b=qGEm5mSOTIT+m3rmUZvRYrItrly08qatwCZqmUuoWSLaktPQdeRPEFFmL1iArZvtlA
         hxnJXvMfCHd4rN8fmW9QZJ5FL9SHgCXw0tkNO2Gkfxgp1jcnveNC65p4jd2vm4sXXdaP
         a5UPKkBuHT5mAsm1o4klicPumEAwtf8y9Cq53Sn+1yj4SkBLkcg/mjbjVMM8ugZ4rGYG
         aZNIvyxf4NLFvWdNlQ4iUDhfto3C9haeVZ4wv9e/sHGqaLk2mftoE+ze6DlsiFHatrwK
         jKQHZZQcW2nPjqhAFRQG71CYyWmEBrtzimWK7WdSEAkehn0WZxT9SLcJwPoVBR3/bstD
         e4Og==
X-Received: by 10.50.13.130 with SMTP id h2mr14364301igc.16.1357240425464;
        Thu, 03 Jan 2013 11:13:45 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.50.13.171 with SMTP id i11ls11497920igc.5.gmail; Thu, 03 Jan
 2013 11:13:44 -0800 (PST)
X-Received: by 10.66.77.231 with SMTP id v7mr7116126paw.35.1357240424763;
        Thu, 03 Jan 2013 11:13:44 -0800 (PST)
X-Received: by 10.66.77.231 with SMTP id v7mr7116123paw.35.1357240424749;
        Thu, 03 Jan 2013 11:13:44 -0800 (PST)
Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236])
        by gmr-mx.google.com with ESMTPS id bv9si10102993pab.1.2013.01.03.11.13.44
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 03 Jan 2013 11:13:44 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.76)
	(envelope-from <rlpowell@digitalkingdom.org>)
	id 1TqqEZ-00026g-6a
	for lojban@googlegroups.com; Thu, 03 Jan 2013 11:13:43 -0800
Date: Thu, 3 Jan 2013 11:13:43 -0800
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] PEG confusion
Message-ID: <20130103191343.GZ18038@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
References: <CA+a3wk+DsL1-NxmqK59BbByzPT7JHsRNDEv0uXOzLG9xqVTNfw@mail.gmail.com>
 <20130102210716.GA8967@sunflowerriver.org>
 <CAMKwHj2DQkSxo3q3g0zZmW85jqj=BBZuzT384CPLsZ24S40igQ@mail.gmail.com>
 <20130102220529.GV18038@stodi.digitalkingdom.org>
 <CAMKwHj1DAOiG3_5PeZBqLPA7AV+SzgFEBmMz5Gj_ZNzVAw+7zw@mail.gmail.com>
 <20130102222133.GW18038@stodi.digitalkingdom.org>
 <d6e5cf11-105a-49f1-a9d7-3193e3e99e69@googlegroups.com>
MIME-Version: 1.0
In-Reply-To: <d6e5cf11-105a-49f1-a9d7-3193e3e99e69@googlegroups.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Original-Sender: rlpowell@digitalkingdom.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of rlpowell@digitalkingdom.org designates
 173.13.139.236 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Disposition: inline
X-Spam-Score: -0.0 (/)
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /

It's not just rewritten from scratch, it's a completely different
parsing abstraction.  The parser table started with the EBNF,
though.

-Robin

On Wed, Jan 02, 2013 at 10:02:49PM -0800, la gleki wrote:
> Sorry for stupid questions (I haven't looked at the code). Is camxes based 
> on initial BNF parser, just adapted?
> Or was it written from scratch?
> 
> 
> On Thursday, January 3, 2013 2:21:34 AM UTC+4, Robin Powell wrote:
> >
> > On Wed, Jan 02, 2013 at 03:08:50PM -0700, Jonathan Jones wrote: 
> > > On Wed, Jan 2, 2013 at 3:05 PM, Robin Lee Powell < 
> > > rlpo...@digitalkingdom.org <javascript:>> wrote: 
> > > 
> > > > On Wed, Jan 02, 2013 at 02:27:12PM -0700, Jonathan Jones wrote: 
> > > > > On Wed, Jan 2, 2013 at 2:07 PM, .alyn.post. 
> > > > > <alyn...@lodockikumazvati.org <javascript:>>wrote: 
> > > > > 
> > > > > > I'd like mine to be the official one.  It requires more work on 
> > > > > > my end yet before I consider it in good enough shape to submit 
> > > > > > as a proposal. 
> > > > > > 
> > > > > > There are not substantive differences, right now, between 
> > > > > > jbogenturfa'i and camxes.  The files are different at the 
> > > > > > bit-level, but the parser level produces the same result.  Robin 
> > > > > > and I have shared patches as errata have come up. 
> > > > > > 
> > > > > > The grammars will diverge when I merge my magic-word work.  I 
> > > > > > got burned out on that effort last year and have been trying to 
> > > > > > restart it.  It is standing in the way of other work I'd also 
> > > > > > like to do. So far life keeps intervening. 
> > > > > > 
> > > > > 
> > > > > You mean, because you'll /have/ magic-word parsing, which no other 
> > > > > parser has as of yet? 
> > > > 
> > > > camxes most certainly *does* have magic word parsing: 
> > > > 
> > > 
> > > Well, si is easy. IIRC, sa and su aren't working in jbosku or .camxes., 
> > and 
> > > there are some magic word combos that aren't worked out either, like zo 
> > si 
> > > (although I'm sure zo si is worked out to be: zo si = "si", zo si si = 
> > "".) 
> >
> > The problem is that the CLL's explanations of magic words *cannot* 
> > be reconciled; there are direct contradictions.  "su" is, in fact, 
> > working, and while sa isn't perfect, it works too: 
> >
> > rlpowell@stodi> echo 'mi klama lo klama sa le sutra' | camxes 
> > text 
> >    sentence 
> >    |- CMAVO 
> >    |     KOhA: mi 
> >    |- bridiTail3 
> >       |- BRIVLA 
> >       |     gismu: klama 
> >       |- sumti6 
> >          |- CMAVO 
> >          |     LE: le 
> >          |- BRIVLA 
> >                gismu: sutra 
> >
> > http://www.lojban.org/tiki/Magic+Words encodes the decisions I made 
> > in camxes; in some places camxes doesn't actually do what that page 
> > says, and in some places even with how detailed that page tried to 
> > be it's *still* incomplete.  That's why aisa is working on it. 
> >
> > -Robin 
> >
> 
> -- 
> You received this message because you are subscribed to the Google Groups "lojban" group.
> To view this discussion on the web visit https://groups.google.com/d/msg/lojban/-/eTfCbDn0Fs0J.
> 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.
> 

-- 
http://singinst.org/ :  Our last, best hope for a fantastic future.
.i ko na cpedu lo nu stidi vau loi jbopre .i danfu lu na go'i li'u .e
lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e
lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li'u

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