Re: [lojban] Lojban CFG Questions

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Sat, Dec 11, 2010 at 10:04:49AM -0700, .alyn.post. wrote:
> 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.

Hence "CFG" in the subject line.  :D

PEGs and CFGs are not equivalent.  No-one's really sure where PEGs
lie on the formal grammar stack.
http://en.wikipedia.org/wiki/Formal_grammar#The_Chomsky_hierarchy

-Robin

-- 
http://singinst.org/ :  Our last, best hope for a fantastic future.
Lojban (http://www.lojban.org/): The language in which "this parrot
is dead" is "ti poi spitaki cu morsi", but "this sentence is false"
is "na nei".   My personal page: http://www.digitalkingdom.org/rlp/

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