From lojban-out@lojban.org Wed Mar 17 22:34:25 2004 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 37494 invoked from network); 18 Mar 2004 06:34:25 -0000 Received: from unknown (66.218.66.172) by m6.grp.scd.yahoo.com with QMQP; 18 Mar 2004 06:34:25 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta4.grp.scd.yahoo.com with SMTP; 18 Mar 2004 06:34:24 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.30) id 1B3r6l-0008FQ-GW for lojban@yahoogroups.com; Wed, 17 Mar 2004 22:34:23 -0800 Received: from dsl081-049-134.sfo1.dsl.speakeasy.net ([64.81.49.134] helo=chain.digitalkingdom.org) by chain.digitalkingdom.org with esmtp (Exim 4.30) id 1B3r5t-0008CC-Jv; Wed, 17 Mar 2004 22:33:29 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 17 Mar 2004 22:33:26 -0800 (PST) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.30) id 1B3r5k-0008By-4H for lojban-list@lojban.org; Wed, 17 Mar 2004 22:33:20 -0800 Date: Wed, 17 Mar 2004 22:33:20 -0800 Message-ID: <20040318063320.GV11847@digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <20040317222428.GZ11847@digitalkingdom.org> <20040318011211.GH11847@digitalkingdom.org> <20040318012328.GI11847@digitalkingdom.org> <20040318013409.GB12076@ccil.org> <20040318013958.GK11847@digitalkingdom.org> <20040318020848.GO11847@digitalkingdom.org> <20040318031344.GF12076@ccil.org> <20040318052608.GS11847@digitalkingdom.org> <20040318055912.GC5444@ccil.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040318055912.GC5444@ccil.org> User-Agent: Mutt/1.5.5.1+cvs20040105i X-archive-position: 7251 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 X-list: lojban-list To: lojban@yahoogroups.com X-eGroups-Remote-IP: 64.81.49.134 X-eGroups-From: Robin Lee Powell From: Robin Lee Powell Reply-To: rlpowell@digitalkingdom.org Subject: [lojban] Re: Official parser problem? X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 21726 On Thu, Mar 18, 2004 at 12:59:12AM -0500, John Cowan wrote: > Robin Lee Powell scripsit: > > > In linear time. > > > > Memory usage is a bit bad, but whatever. > > I'll bet: in order to be LR(\infty) equivalent, it has to keep the > whole stream of tokens available for traversal in both directions. Be > it so: this isn't the age of 640K any more. Indeed. > > [2]: Actually, without an extension to PEGs, 'zoi' cannot be handled > > without a pre-processor, and without a re-definition that is at > > least marginally sane, 'sa' doesn't even have a working definition > > to try to handle. > > The definition of "sa" is straightforward: check the selma'o of the > next token rightward, and remove tokens leftward until a token of the > same selma'o has been removed (in the usual extended sense of > "selma'o"). Oh! Heck, I can do that *now*. I'll fix 'si' first, though. > > [3]: OK, well, I *could* replicate current behaviour, but as current > > behaviour is based on the technical limitations of YACC and does > > not, for example, resemble what is described in the book, why would > > I do that? > > By all means. All of this stuff is *extremely* borderline behavior. > > Are you using Rats? Yep. Couldn't get Pappy to work. I wish either of them had a mode where they would automagically generate a parse tree. Rats!'s debug mode is pretty close, though. -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