From sentto-44114-18523-1044589472-lojban-in=lojban.org@returns.groups.yahoo.com Thu Feb 06 19:45:10 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 06 Feb 2003 19:45:10 -0800 (PST) Received: from n14.grp.scd.yahoo.com ([66.218.66.69]) by digitalkingdom.org with smtp (Exim 4.12) id 18gzRp-0003QR-00 for lojban-in@lojban.org; Thu, 06 Feb 2003 19:45:05 -0800 X-eGroups-Return: sentto-44114-18523-1044589472-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.201] by n14.grp.scd.yahoo.com with NNFMP; 07 Feb 2003 03:44:33 -0000 X-Sender: phma@ixazon.dynip.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_4); 7 Feb 2003 03:44:31 -0000 Received: (qmail 7099 invoked from network); 7 Feb 2003 03:44:31 -0000 Received: from unknown (66.218.66.216) by m9.grp.scd.yahoo.com with QMQP; 7 Feb 2003 03:44:31 -0000 Received: from unknown (HELO blackcat.ixazon.lan) (208.150.110.21) by mta1.grp.scd.yahoo.com with SMTP; 7 Feb 2003 03:44:32 -0000 Received: by blackcat.ixazon.lan (Postfix, from userid 1001) id 86A6A27E3; Fri, 7 Feb 2003 03:44:39 +0000 (UTC) Organization: dis To: lojban@yahoogroups.com User-Agent: KMail/1.5 References: <20030203204620.GD20552@digitalkingdom.org> <5.2.0.9.0.20030203221325.00abe690@pop.east.cox.net> <200302040648.07808.phma@webjockey.net> In-Reply-To: <200302040648.07808.phma@webjockey.net> Message-Id: <200302062244.39093.phma@webjockey.net> From: Pierre Abbat 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, 6 Feb 2003 22:44:39 -0500 Subject: [lojban] Re: Lexing text with {fa'o} and {zoi} in it Content-Type: text/plain; charset=US-ASCII X-archive-position: 4036 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: phma@webjockey.net Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list On Tuesday 04 February 2003 06:48, Pierre Abbat wrote: > On Monday 03 February 2003 22:19, Robert LeChevalier wrote: > > At 06:04 PM 2/3/03 -0500, Pierre Abbat wrote: > > > > > According to 19:10, if {le'u} appears in a {zoi} quotation which is > > > > > inside a {lo'u} quotation, the {lo'u} quotation is prematurely > > > > > terminated. > > > > Not really following this, but since lo'u/le'u incorporates only Lojban > > text, there shouldn't be any zoi quotes inside of the lo'u/le'u. > > 19.10.5: (A minor note on interaction between ``lo'u ... le'u'' and > ``zoi'': The text between ``lo'u'' and ``le'u'' should consist of Lojban > words only. In fact, non-Lojban material in the form of a ``zoi'' quotation > may also appear. However, if the word ``le'u'' is used either as the > delimiting word for the ``zoi'' quotation, or within the quotation itself, > the outer ``lo'u'' quotation will be prematurely terminated. Therefore, > ``le'u'' should be avoided as the delimiting word in any ``zoi'' > quotation.) This is contradicted by the filtering rules in the formal grammar: a. If the Lojban word ``zoi'' (selma'o ZOI) is identified, take the following Lojban word (which should be end delimited with a pause for separation from the following non-Lojban text) as an opening delimiter. Treat all text following that delimiter, until that delimiter recurs *after a pause*, as grammatically a single token (labelled 'anything_699' in this grammar). There is no need for processing within this text except as necessary to find the closing delimiter. b. If the Lojban word ``zo'' (selma'o ZO) is identified, treat the following Lojban word as a token labelled 'any_word_698', instead of lexing it by its normal grammatical function. 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'. Step a should also look for "la'o", which is in the same selma'o. phma To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/