From cowan@ccil.org Wed Oct 22 15:35:27 2008 Received: with ECARTIS (v1.0.0; list llg-board); Wed, 22 Oct 2008 15:35:27 -0700 (PDT) Received: from earth.ccil.org ([192.190.237.11]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1KsmIU-0006f0-M2 for llg-board@lojban.org; Wed, 22 Oct 2008 15:35:27 -0700 Received: from cowan by earth.ccil.org with local (Exim 4.63) (envelope-from ) id 1KsmIT-0004sf-WD for llg-board@lojban.org; Wed, 22 Oct 2008 18:35:22 -0400 Date: Wed, 22 Oct 2008 18:35:21 -0400 To: llg-board@lojban.org Subject: [llg-board] Re: A request to spend money. Message-ID: <20081022223521.GB31254@mercury.ccil.org> References: <20081022214253.GD23512@digitalkingdom.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20081022214253.GD23512@digitalkingdom.org> User-Agent: Mutt/1.5.13 (2006-08-11) From: John Cowan X-Spam-Score: -0.2 X-Spam-Score-Int: -1 X-Spam-Bar: / X-archive-position: 424 X-ecartis-version: Ecartis v1.0.0 Sender: llg-board-bounce@lojban.org Errors-to: llg-board-bounce@lojban.org X-original-sender: cowan@ccil.org Precedence: bulk Reply-to: llg-board@lojban.org X-list: llg-board Robin Lee Powell scripsit: > I would like to offer $500 to anyone that comes up with a CFG that > can encode Lojban elidable terminators (I strongly believe this to > be impossible) or $100 for a formal proof that it's impossible. > This would be out of the LLG moneys. Hmm. I think this reduces to a proof about a grammar with nothing but (, ), [, and ], where () can group either (...) or [...], and [] can group either [...] or (...), and ] and ) are elidable terminators. -- Unless it was by accident that I had John Cowan offended someone, I never apologized. cowan@ccil.org --Quentin Crisp http://www.ccil.org/~cowan