[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: Official parser and "lo ni'a zu crino"
At 11:21 AM 4/7/04 -0700, Robin Lee Powell wrote:
>On Wed, Apr 07, 2004 at 05:41:10AM -0700, Jorge Llamb?as wrote:
> > --- Bob LeChevalier <lojbab@lojban.org> wrote:
> > >
> > > I don't know why the parser should accept
> > > lo ni'a zu crino
> > > "ni'a zu crino" parses with a ku inserted after ni'a
> >
> > But the current grammar allows space-tense before time-tense,
> > so the parser shouldn't insert a ku.
>
>What he said:
>
>tense_C_979 : time_1030
> | space_1040
> | time_1030 space_1040
> | space_1040 time_1030
> ;
I realized that, but wanted to point out what investigation showed if it
helps in any attempts Cowan may be making to identify and fix bugs in the
official parser (which unfortunately even with bugs has to remain a
standard unless you can prove that your alternate parser has the same
grammar and that it is unambiguous to the same or higher degree than the
YACC grammar)
Given what we know, the bug must be the tense lexer which somehow is not
accepting ni'a zu as a valid string. I never looked at the lexer internals
so I can't debug it.
(Note BTW that Nora's program is highly sensitive to any little grammar
changes, and Nora's program needs the output that the official parser puts
out with -t in order to work; I don't know if you are planning a similar
output format, but I hereby request it).
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/