Re: [lojban] Re: Official parser problem?

[Bob LeChevalier <lojbab@lojban.org>]

At 05:12 PM 3/17/04 -0800, Robin Lee Powell wrote:
>On Wed, Mar 17, 2004 at 02:24:28PM -0800, Robin Lee Powell wrote:
> > The official parser fails on:
> >
> >     lo'u mi le'u si lo'u mi le'u
> >
> > If I'm reading the pre-processing description correctly, and I'm
> > pretty certain I am, that should work just fine.  "lo'u mi le'u" is
> > turned into one token; si eats any one token.  No problem.
> >
> >     c. If the Lojban word "lo'u" (selma'o LOhU) is identified, search
> >     for the closing delimiter "le'u" (selma'o LEhU), ignoring any such
> >     closing delimiters absorbed by the previous two steps.  The text
> >     between the delimiters should be treated as the single token
> >     'any_words_697'.
>
>bancus just pointed out that that may not mean what I thought it
>meant. I was taking "The text between the delimiters should be treated
>as the single token 'any_words_697'." to mean "all the text between the
>delimiters, including the delimiters themselves", but that's probably
>not the most natural reading.
>
>Does anyone have strong evidence one way or the other?  I think bancus is
>probably right, meaning that that sentence *should* fail.

If you look at the YACC grammar itself for LohU_quote, it has 
"any_words_697" as the contents between LOhU and LEhU.  The LOhU and LEhU 
outer delimiters themselves should not be included.

However, as noted, Cowan never implemented si/sa/su in the official parser, 
probably because at the time, "officialness" was not the salient property, 
but having a parser that worked was.

lojbab

-- 
lojbab                                             lojbab@lojban.org
Bob LeChevalier, Founder, The Logical Language Group
(Opinions are my own; I do not speak for the organization.)
Artificial language Loglan/Lojban:                 http://www.lojban.org




To unsubscribe, send mail to lojban-unsubscribe@onelist.com 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
     http://groups.yahoo.com/group/lojban/

<*> To unsubscribe from this group, send an email to:
     lojban-unsubscribe@yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
     http://docs.yahoo.com/info/terms/