From richard@rrbcurnow.freeuk.com Fri Aug 31 14:58:09 2001 Return-Path: X-Sender: richard@rrbcurnow.freeuk.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_2); 31 Aug 2001 21:58:09 -0000 Received: (qmail 22039 invoked from network); 31 Aug 2001 21:58:08 -0000 Received: from unknown (10.1.10.142) by l7.egroups.com with QMQP; 31 Aug 2001 21:58:08 -0000 Received: from unknown (HELO scrabble.freeuk.net) (212.126.144.6) by mta3 with SMTP; 31 Aug 2001 21:58:08 -0000 Received: from du-009-0093.freeuk.com ([212.126.152.93] helo=rrbcurnow.freeuk.com) by scrabble.freeuk.net with esmtp (Exim 3.12 #2) id 15cwIe-0006p3-00 for lojban@yahoogroups.com; Fri, 31 Aug 2001 22:58:05 +0100 Received: from richard by rrbcurnow.freeuk.com with local (Exim 2.02 #2) id 15cvwi-00008O-00; Fri, 31 Aug 2001 22:35:24 +0100 Date: Fri, 31 Aug 2001 22:35:23 +0100 To: lojban@yahoogroups.com Subject: Re: [lojban] LALR1 question Message-ID: <20010831223523.A429@rrbcurnow.freeuk.com> Mail-Followup-To: lojban@yahoogroups.com References: <20010829214543.A9524@rrbcurnow.freeuk.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2i-nntp In-Reply-To: ; from a.rosta@dtn.ntl.com on Fri, Aug 31, 2001 at 01:45:00AM +0100 From: Richard Curnow X-Yahoo-Message-Num: 10354 Probably something like that. Or maybe "the bits that aren't LALR1 as they stand can be turned into LALR1 by 'local' inspection of the source text, in effect by spotting certain groupings of tokens and turning them into 'meta-tokens' which distinguish the structure of the group based on something late on in it." On Fri, Aug 31, 2001 at 01:45:00AM +0100, And Rosta wrote: > How does the role of the preparser square with Lojban's nonambiguity > and LALR1ness? Is the claim: "Lojban grammar is unambiguous and > LALR1-parsable, because all bits that aren't unambiguous and > LALR1-parsable aren't counted as grammar"? > -- R.P.Curnow,Weston-super-Mare,UK | C++: n., An octopus made by http://www.rrbcurnow.freeuk.com/ | nailing extra legs on a cat.