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

Re: [lojban] proposed grammar definition for ZOhOI



From jbovlaste, zo'oi acts to "quote next non-Lojban word only; quotes a single non-Lojban word delimited by pauses (in speech) or whitespace (in writing)".

It seems to say that the pauses are required. ie
ZOhOI-pre       <- pre-clause ZOhOI spaces non-lojban-word spaces

I don't know enough about the parsing of non-lojban-word to know if it will make a difference

mu'o mi'e ros

On Wed, Jan 26, 2011 at 7:48 AM, .alyn.post. <alyn.post@lodockikumazvati.org> wrote:
In discussion with xalbo on #lojban, This is the proposed definition
for ZOhOI as expressed in PEG.  The '...' productions are existing
rules in the grammar that surround the new definitions, which are
shown here.

 ZOhOI <- &cmavo ( z o h o i ) &post-word -> ZOhOI

 ZOhOI-clause    <- ZOhOI-pre ZOhOI-post
                 -> ZOhOI-clause
 ZOhOI-pre       <- pre-clause ZOhOI `spaces? non-lojban-word `spaces?
 ZOhOI-post      <- post-clause

 CMAVO           <- ...
                  /  ZOhOI
                  /  ...

 sumti-6         <- ...
                  / ZOhOI-clause free*
                  / ...

 known-cmavo-sa  <- ...
                  / ZOhOI-pre
                  / ...

 ;; I'm not certain of the postfix to use here, this needs testing.
 ;; It may be just 'ZOhOI'
 ;;
 known-cmavo-pre <- ...
                  / ZOhOI-pre
                  / ...

There are a small number of issues surrounding the ZOhOI-pre clause,
and what exactly consitutes a non-lojban-word.  All of this is
untested, I wrote this up as a proof of concept.  I'm hoping this
can be a contribution to a definition of ZOhOI formal enough to
present to the BPFK.

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


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