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

Re: [lojban] [oz] Use of elidable {cu}



In
http://users.digitalkingdom.org/~rlpowell/hobbies/lojban/grammar/lojban.peg.txt
(where can I find the file used by camxes?)
There is this rule

term-1 <- sumti / ( !gek (tag / FA-clause free*) (sumti / KU-clause? free*) ) / termset / NA-clause KU-clause free*


I don't have a firm grasp of formal grammars, so correct me if I am wrong.

1. This rule is relevant.
2. If we make the KU-clause mandatory, instead of optional, my mental grammar is realized.

term-1 <- sumti / ( !gek (tag / FA-clause free*) (sumti / KU-clause free*) ) / termset / NA-clause KU-clause free*

3. It would contradict the CLL, though. http://dag.github.io/cll/9/9/

Fact is I didn't internalize the elidability of {ku} in this case. I still don't like it...

mu'o
mi'e .asiz.




On 7 January 2014 10:05, Jorge Llambías <jjllambias@gmail.com> wrote:



On Tue, Jan 7, 2014 at 4:15 AM, guskant <gusni.kantu@gmail.com> wrote:
Le mardi 7 janvier 2014 11:07:38 UTC+9, xorxes a écrit :

I did propose once that tags should have priority in their function as selbri tags over their function as sumti tags. 
 
 Then why are peg parsers against your proposition and jbofi'e and CLL?
Is it a bug, or an intended behavior?

You'd have to ask Robin that. He probably didn't bother with the "lo broda pu brode" case because the meaning is not really changed either way, The "lo nu broda pu brode" case is handled the same by both parsers, and it may be what CLL calls a "very complex sentence".

mu'o mi'e xorxes

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

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