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

Re: [lojban] MEX ROI, MEX MOI, MEX MAI

On Fri, Jul 26, 2013 at 12:38 PM, Bob LeChevalier, President and Founder - LLG <lojbab@lojban.org> wrote:
There is no official goal to get a PEG working (and personally, I've never understood why anyone would want to).
Because the YACC doesn't actually implement terminator elision, despite it being in the core definition of the language and essential to its use by humans. jbofihe does this via a separate exception handling mechanism, that is, it does a pass, fails, inserts a terminator, does a pass, etc. (The positive effect of this is that jbofihe can show elided terminators quite easily. Coercing camxes into doing this would take a lot of additional code, and probably some hand parsing of the camxes output.)

Because the lookahead restrictions result in counterintuitive-to-humans requirements, such as the KU in LE SELBRI KU JOI LE SELBRI. The intuitive elision rule "while parsefail, add next elidable terminator" is not consistent with this requirement*, and this requirement is removed in the PEG. (It'd also be removed in an LR(k) parser with higher k, but I digress.)

Because Magic Words are handled absolutely atrociously, in numerous different ways. The most blatant examples I can think of are "defective erasure" (zo si si zei broda) and "partially parsed ZOI" (such as {zo zoi gy text gy}), neither of which should even parse in the first place.

*Computationally, it actually is consistent, since the parse failure will continue forever unless you look two symbols ahead. This is basically irrelevant to my point, since it is a point about human intuition.

mi'e la latro'a mu'o

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.