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

[Gleki Arxokuna]

di'e

---------- Forwarded message ----------
From: guskant <gusni...@gmail.com>
Date: Wed, Jan 8, 2014 at 6:12 AM
Subject: Re: [lojban] [oz] Use of elidable {cu}
To: loj...@googlegroups.com

Le mercredi 8 janvier 2014 00:50:24 UTC+9, xorxes a écrit :

On Tue, Jan 7, 2014 at 12:27 PM, Felipe Gonçalves Assis <felipe...@gmail.com> wrote:

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*

That's one way of dealing with it, although for my taste it has the disadvantage of making a terminator non-elidable, which is exceptional. Also, because of the silly restrictions on compound tags, you would have to be very aware of which tags can be combined without ku and which strings of tags would require ku insertions to make them work.

The way I would rather do it is:

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

which means that the tag will not be absorbed as a term if it's directly followed by a selbri-1 (in which case it will be absorbed by the selbri rule),

mu'o mi'e xorxes

I agree with xorxes.

As for zasni gerna: http://www.lojban.org/tiki/zasni+gerna

term <- FA#? sumti / tag? sumti / FA# KU#? / tag KU#? / NA# KU#? / gek term+ VAU#? GI# term+ VAU#?

should be replaced with 

term <- FA#? sumti / tag? sumti / FA# KU#? / tag !selbri KU#? / NA# KU#? / gek term+ VAU#? GI# term+ VAU#?

, shouldn't it?

--
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+un...@googlegroups.com.
To post to this group, send email to loj...@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.

[Jorge Llambías]

On Wed, Jan 8, 2014 at 3:05 AM, Gleki Arxokuna <gleki.is...@gmail.com> wrote:

As for zasni gerna: http://www.lojban.org/tiki/zasni+gerna

term <- FA#? sumti / tag? sumti / FA# KU#? / tag KU#? / NA# KU#? / gek term+ VAU#? GI# term+ VAU#?

should be replaced with 

term <- FA#? sumti / tag? sumti / FA# KU#? / tag !selbri KU#? / NA# KU#? / gek term+ VAU#? GI# term+ VAU#?

, shouldn't it?

I made the change (although I don't think any parser actually uses this grammar directly).

[guskant]

pe'u la iocikun

ki'e la xorxes i ja'a ku la iocixes cu pilno lo xorxes zasni bo gerna to zoi url

https://skami2.iocikun.jp/lojban/zasniGernaPeg

https://skami2.iocikun.jp/lojban/zasniGerna

url

i doi la iocikun ko stika lo do genturfa'i gije va'i galfi

zoi genturfa'i

-- 3. Term Sumti

term = f:FA_? s:sumti

/ t:tag? s:sumti

/ f:FA_ k:KU_?

/ t:tag k:KU_?

/ n:NA_ k:KU_?

/ ge:gek t1:term+ v1:VAU_? gi:GI_ t2:term+ v2:VAU_?

genturfa'i

zoi genturfa'i

-- 3. Term Sumti

term = f:FA_? s:sumti

/ t:tag? s:sumti

/ f:FA_ k:KU_?

/ t:tag !_:selbri k:KU_?

/ n:NA_ k:KU_?

/ ge:gek t1:term+ v1:VAU_? gi:GI_ t2:term+ v2:VAU_?

genturfa'i

i za'a la ilmentufa ba'o se stika ki'e la ilmen 

[良国重城]

coi
.i mi ba'o stika
mu'o

2014/1/10 guskant <gusni...@gmail.com>

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