From sentto-44114-21767-1079639474-lojban-in=lojban.org@returns.groups.yahoo.com Thu Mar 18 11:51:55 2004 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 18 Mar 2004 11:51:55 -0800 (PST) Received: from n29.grp.scd.yahoo.com ([66.218.66.85]) by chain.digitalkingdom.org with smtp (Exim 4.30) id 1B43YT-0005jv-Vy for lojban-in@lojban.org; Thu, 18 Mar 2004 11:51:50 -0800 X-eGroups-Return: sentto-44114-21767-1079639474-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.201] by n29.grp.scd.yahoo.com with NNFMP; 18 Mar 2004 19:51:16 -0000 X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 9094 invoked from network); 18 Mar 2004 19:51:12 -0000 Received: from unknown (66.218.66.172) by m9.grp.scd.yahoo.com with QMQP; 18 Mar 2004 19:51:12 -0000 Received: from unknown (HELO lakemtao01.cox.net) (68.1.17.244) by mta4.grp.scd.yahoo.com with SMTP; 18 Mar 2004 19:51:14 -0000 Received: from bob.lojban.org ([68.228.12.146]) by lakemtao01.cox.net (InterMail vM.5.01.06.08 201-253-122-130-108-20031117) with ESMTP id <20040318195114.XMBB26108.lakemtao01.cox.net@bob.lojban.org>; Thu, 18 Mar 2004 14:51:14 -0500 Message-Id: <5.2.0.9.0.20040318144823.03d18cb0@pop.east.cox.net> X-Sender: lojbab@pop.east.cox.net X-Mailer: QUALCOMM Windows Eudora Version 5.2.0.9 To: rlpowell@digitalkingdom.org,lojban@yahoogroups.com In-Reply-To: <20040318011211.GH11847@digitalkingdom.org> References: <20040317222428.GZ11847@digitalkingdom.org> <20040317222428.GZ11847@digitalkingdom.org> X-eGroups-Remote-IP: 68.1.17.244 From: Bob LeChevalier X-Yahoo-Profile: lojbab MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Thu, 18 Mar 2004 14:54:55 -0500 Subject: [lojban] Re: Official parser problem? Content-Type: text/plain; charset=US-ASCII X-archive-position: 7270 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: lojbab@lojban.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list 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/