[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] zoi bug in camxes?
On Mon, Jan 24, 2011 at 11:20:40PM -0300, Jorge Llambías wrote:
> On Mon, Jan 24, 2011 at 10:03 PM, Robin Lee Powell
> <rlpowell@digitalkingdom.org> wrote:
> >
> > zoi gy gyrate gy fails in camxes; that seems like a bug (in camxes)
> > to me. It seems to me that the final zoi delimiter must have a
> > pause on both ends. But I haven't read the relevant CLL bit in
> > quite some time; what does it say about that?
>
> CLL: "The cmavo “zoi” (of selma'o ZOI) is a quotation mark for quoting
> non-Lojban text. Its syntax is “zoi X. text .X”, where X is a Lojban
> word (called the delimiting word) which is separated from the quoted
> text by pauses, and which is not found in the written text or spoken
> phoneme stream."
>
> It doesn't say that the first X need be preceded by a pause, nor that
> the final X need be followed by a pause.
>
> But even the pauses that CLL does mention aren't always needed. For
> example camxes probably approves of "zoidadida".
>
I always assumed that this description was describing (in a PEG
grammar with an '=' operator I'm inventing for this purpose):
zoi <- zoi-open=any-lojban-word pause (!(pause? zoi-open) .)* pause zoi-open
Namely, that we read a X as any-lojban-word, store the value, then
we read a *character at a time* until we find another X. In this case
"quoted text" is a character stream, not itself broken into discrete
words and therefor not subject to differentiation between gyrate and
gyration.
I believe this description makes the CLL consistent with itself. It
is the only way I make sense of the example given. I'm not suggesting
this is the behavior the PEG grammar should have, though I certainly
wonder if this is what is being described in the text above.
-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.