[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] inconsistency between PEG grammar and CLL 17.4

On Wed, Jan 12, 2011 at 05:43:22PM -0800, Robin Lee Powell wrote:
> On Wed, Jan 12, 2011 at 06:25:24PM -0700, .alyn.post. wrote:
> > [This fell out of my researching SA.  tl;dr: I've found two bugs
> > in BU handling in the PEG grammar.]
> 
> The CLL *repeatedly* contradicts itself, including in the YACC
> instructions, on how to handle the various Magic Words.  This is why
> http://www.lojban.org/tiki/tiki-index.php?page=Magic+Words exists.
> The email threads leading to that were ... extensive.
> 
> I do not consider the CLL, YACC, or EBNF relevant or authoritative
> on this issue, since they all contradict each other; all current
> explorations should be relative to that page.  If you want to use
> one of those sources for evidence that that page is wrong, be my
> guest, but we've probably been there already.
> 

I don't understand this statement on the Magic Words page:

  BAhE marks the following word but does not change its nature, and
  does not bind with it.

I would undertand "does not bind with it" to mean that ba'e bu is in
fact illegal, since "bu" alone doesn't parse, and ba'e doesn't
change the nature of bu. 

I've added a note to the errata section for the CLL that I hope
someone with a better understanding that my statement can correct.


> > -> si bu
> >    [ shouldn't and doesn't parse ]
> > 
> > -> sa bu
> >    [ shouldn't and doesn't parse ]
> > 
> > -> su bu
> >    text
> >       buClauseNoPre
> >       |- CMAVO
> >       |     SU: su
> >       |- CMAVO
> >             BU: bu
> > 
> > Now wait just a minute here.  The rule above *explicitily forbids*
> > SU.  How is it that it is matching?
> 
> I *think* this is the only case you found where the PEG contradicts
> the Magic Words page.  Yep, that's a bug; I'd love it if you'd
> suggest a fix/patch.
> 

I'll get you one as soon as I'm far enough along to properly test
it.  I'll push it to you this time.  ;-)

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