[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Lojban CFG Questions
On Sat, Dec 11, 2010 at 08:51:42AM -0800, Robin Lee Powell wrote:
> On Sat, Dec 11, 2010 at 09:44:05AM -0700, .alyn.post. wrote:
> > On Sat, Dec 11, 2010 at 08:32:18AM -0800, Robin Lee Powell wrote:
> > > On Sat, Dec 11, 2010 at 05:59:38AM -0500, Bob LeChevalier,
> > > President and Founder - LLG wrote:
> > > >
> > > > I don't know the answer to your questions, but the guy who
> > > > developed the elidable terminator formalization,
> > >
> > > It's not a formalization; that's the whole point here. The yacc
> > > version "handles" them by erroring out and running some code to
> > > handle the errors.
> > >
> >
> > Do you know what camxes or jbofi'e do in this case? Is it the
> > same behavior?
>
> camxes is PEG; PEG has no problems with the elidable terminators.
> AFAIK, jbofihe uses the error trick.
>
Having spent the last months with my head thoroughly in PEG, I have
been looking at this problem and wondering what the fuss was about.
Thank you, this clears it up for me.
> > Why should we not formally define this behavior, introduce a
> > /syntax/ for it, and solve the problem from that direction?
>
> Long since been done; see the EBNF linked from
> http://www.digitalkingdom.org/~rlpowell/hobbies/lojban/grammar/ (and
> the rest of that page)
>
> > What about the situation don't I understand that makes that
> > problematic?
>
> No-one knows how to make a CFG that does elidable terminators (or so
> I thought; xorxes showed a method I have not evaluated, but it has
> combinatorial explosion of rules, which is no better).
>
I suspect if there is a way, it is by studying that grammar and
finding patterns of shared structure that can be optimized into
fewer rules. </uncertain assertion>
-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.