From rlpowell@digitalkingdom.org Tue Feb 10 15:28:05 2004 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 10 Feb 2004 15:28:05 -0800 (PST) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.30) id 1AqhIN-00079r-71 for lojban-list@lojban.org; Tue, 10 Feb 2004 15:27:59 -0800 Date: Tue, 10 Feb 2004 15:27:59 -0800 To: lojban-list@lojban.org Subject: [lojban] Grammar Formalization issues page. Message-ID: <20040210232758.GA8463@digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.5.1+cvs20040105i From: Robin Lee Powell X-archive-position: 7080 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 Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list I have moved *firmly* over into the camp of those who believe that the extant Lojban grammar is not sufficiently formalized. I've even made a page about it: http://www.digitalkingdom.org/~rlpowell/hobbies/lojban/grammar_issues.html Comments and help are welcome. The only new thing there is an ABNF version of the BNF grammar. -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