From rlpowell@digitalkingdom.org Wed Apr 07 10:03:19 2004 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 07 Apr 2004 10:03:19 -0700 (PDT) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.30) id 1BBGSD-0005md-2m for lojban-list@lojban.org; Wed, 07 Apr 2004 10:03:09 -0700 Date: Wed, 7 Apr 2004 10:03:09 -0700 To: lojban-list@lojban.org Subject: [lojban] Re: Official parser bug: li revo .a li pare Message-ID: <20040407170309.GV5197@digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <20040407014839.GG5197@digitalkingdom.org> <20040407014839.GG5197@digitalkingdom.org> <5.2.0.9.0.20040407074728.033887e0@pop.east.cox.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <5.2.0.9.0.20040407074728.033887e0@pop.east.cox.net> User-Agent: Mutt/1.5.5.1+cvs20040105i From: Robin Lee Powell X-archive-position: 7483 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 On Wed, Apr 07, 2004 at 07:49:53AM -0400, Bob LeChevalier wrote: > At 07:04 PM 4/6/04 -0700, Robin Lee Powell wrote: > >On Tue, Apr 06, 2004 at 06:48:39PM -0700, Robin Lee Powell wrote: > > > The official parser does not appear to accept eks, of any form, > > > between 'li' sumti: > > > > > > li revo .a li pare > > > Last good construct was: quantifier_300 > > > > > > This includes 'ji'. I don't have the time now to investigate why. > > > > > > Adding 'ku' did not help, nor did boi. > > > >But "li revo lo'o .a li pare" works. jbofihe doesn't seem to need > >it, though. > > It should, I think. > With "li revo .a li pare", it appears like it should take LR(2) to > look past the .a to see the "li", and know that we aren't trying "li > revo .a pare" Sure, except that the elidable terminators aren't LR(1), or LR(inf) for that matter. It's probably just a matter of having a slightly smarter elidable terminator insert in jbofihe's case, because it *is* inserting lo'o there. My parser works utterly differently, of course. -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** I'm a *male* Robin. "Many philosophical problems are caused by such things as the simple inability to shut up." -- David Stove, liberally paraphrased. http://www.lojban.org/ *** loi pimlu na srana .i ti rocki morsi