From rlpowell@digitalkingdom.org Sun Mar 21 10:44:59 2004
Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 21 Mar 2004 10:45:00 -0800 (PST)
Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.30)
	id 1B57wM-0007Br-FP
	for lojban-list@lojban.org; Sun, 21 Mar 2004 10:44:54 -0800
Date: Sun, 21 Mar 2004 10:44:54 -0800
To: lojban-list@lojban.org
Subject: [lojban] Error in bnf.300
Message-ID: <20040321184454.GA32271@digitalkingdom.org>
Mail-Followup-To: lojban-list@lojban.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.5.1+cvs20040105i
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
X-archive-position: 7280
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
X-original-sender: rlpowell@digitalkingdom.org
Precedence: bulk
Reply-to: lojban-list@lojban.org
X-list: lojban-list

There's a contradiction between grammar.300 and bnf.300 and, regardless
of baselining issues, bnf.300 is *clearly* wrong:

    text-1<2> = [(I [jek | joik] [[stag] BO] #) ... | NIhO ... #] [paragraphs]

The problem is that there's supposed to be a "text-1" betweev "BO]" and "#)".

Here's the grammar.300 part (w/o comments); you mostly want to look at text_B_2.

%start text_0

%%

text_0                  :  text_A_1
                        |  indicators_411  text_A_1
                        |  free_modifier_32  text_A_1
                        |  cmene_404  text_A_1
                        |  indicators_411  free_modifier_32  text_A_1
                        |  NAI_581  text_0
                        ;

text_A_1                :  JOIK_JEK_422  text_B_2
                        /* incomplete JOIK_JEK  without preceding I */
                        /* compare note on paragraph_10 */
                        |  text_B_2
                        ;

text_B_2                :  I_819  text_B_2
                        |  I_JEK_820  text_B_2
                        |  I_BO_811  text_B_2
                        |  para_mark_410  text_C_3
                        |  text_C_3
                        ;

text_C_3                :  paragraphs_4
                        |  /* empty */
                        ;


The test case is "mi broda .i je no da zo'u broda", which jbofi'e chokes on
because of this problem.

-Robin

-- 
Me: http://www.digitalkingdom.org/~rlpowell/  ***   I'm a *male* Robin.
"Constant neocortex override is the only thing that stops us all
from running out and eating all the cookies."  -- Eliezer Yudkowsky
http://www.lojban.org/             ***              .i cimo'o prali .ui