Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 6573 invoked from network); 30 Sep 2005 20:10:44 -0000 Received: from unknown (66.218.66.216) by m29.grp.scd.yahoo.com with QMQP; 30 Sep 2005 20:10:44 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta1.grp.scd.yahoo.com with SMTP; 30 Sep 2005 20:10:43 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.52) id 1ELRA8-000215-Ei for lojban@yahoogroups.com; Fri, 30 Sep 2005 13:07:20 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.52) id 1ELR9Z-00020H-Vz; Fri, 30 Sep 2005 13:06:49 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 30 Sep 2005 13:06:37 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.52) id 1ELR9I-000206-0o for lojban-list-real@lojban.org; Fri, 30 Sep 2005 13:06:28 -0700 Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.52) id 1ELR9H-0001zz-Mr for lojban-list@lojban.org; Fri, 30 Sep 2005 13:06:27 -0700 Date: Fri, 30 Sep 2005 13:06:27 -0700 Message-ID: <20050930200627.GD1749@chain.digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <20050930183038.GA1749@chain.digitalkingdom.org> <20050930185626.GC1749@chain.digitalkingdom.org> <925d17560509301300h1e4f281dtcecb6906d098f4ba@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <925d17560509301300h1e4f281dtcecb6906d098f4ba@mail.gmail.com> User-Agent: Mutt/1.5.9i X-archive-position: 10690 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org X-list: lojban-list X-Spam-Score: -5.3 (-----) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 1:12:0:0 X-eGroups-From: Robin Lee Powell From: Robin Lee Powell Reply-To: rlpowell@digitalkingdom.org Subject: [lojban] Re: other parsable languages X-Yahoo-Group-Post: member; u=116389790; y=bv-6JOvls_rmn8CqbInAMHENtBKl-G-mltRs1lKPDNJ6N-kOHA X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 25075 Content-Length: 1922 Lines: 55 On Fri, Sep 30, 2005 at 05:00:33PM -0300, Jorge Llamb?as wrote: > On 9/30/05, Robin Lee Powell wrote: > > > Not "so difficult as to be intractable" but "generally believed > > to be impossible". > > > > http://teddyb.org/~rlpowell/hobbies/lojban/grammar/index.html > > > > Look for "Old Approach" at the bottom for an explication. > > I may be missing something, but there you only say that dealing > with terminators in BNF would require a 20-fold expansion of the > grammar, which may be difficult but not impossible, not even > intractable. *IF* it's possible. I'm going to update that actually; I have become less sure about it, and if it was possible I'm pretty sure it would be more than a factor of 20. If you think you can do it, though, by all means. > What about the PEG grammar, why is that not a complete grammar? I didn't say there was no complete grammar for Lojban; I said there was no complete *YACC* grammar. The full PEG grammar is, in fact, complete. > Because of ZOI? Erm, right; complete except for ZOI, which requires a bit of actual raw code, but it's *such* simple code that in barely counts. > If so, isn't Lojban minus ZOI (which is really a way of > introducing non-Lojban into Lojban) completely parsable? Well, there both completely parseable, it's just a matter of whether a formal grammar exists. To answer the question you were actually asking, though: Yes, Lojban-ZOI has a complete, no exceptions PEG grammar. -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/ Reason #237 To Learn Lojban: "Homonyms: Their Grate!" Proud Supporter of the Singularity Institute - http://singinst.org/ To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.