From rlpowell@digitalkingdom.org Wed Oct 22 16:27:02 2008 Received: with ECARTIS (v1.0.0; list llg-board); Wed, 22 Oct 2008 16:27:02 -0700 (PDT) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1Ksn6T-0003Gy-VF for llg-board@lojban.org; Wed, 22 Oct 2008 16:27:02 -0700 Date: Wed, 22 Oct 2008 16:27:01 -0700 From: Robin Lee Powell To: llg-board@lojban.org Subject: [llg-board] Re: A request to spend money. Message-ID: <20081022232701.GH23512@digitalkingdom.org> Mail-Followup-To: llg-board@lojban.org References: <20081022214253.GD23512@digitalkingdom.org> <20081022223521.GB31254@mercury.ccil.org> <20081022225329.GG23512@digitalkingdom.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20081022225329.GG23512@digitalkingdom.org> User-Agent: Mutt/1.5.18 (2008-05-17) X-archive-position: 426 X-ecartis-version: Ecartis v1.0.0 Sender: llg-board-bounce@lojban.org Errors-to: llg-board-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk Reply-to: llg-board@lojban.org X-list: llg-board On Wed, Oct 22, 2008 at 03:53:29PM -0700, Robin Lee Powell wrote: > On Wed, Oct 22, 2008 at 06:35:21PM -0400, John Cowan wrote: > > 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. > > I'd even like to see that, but I was going to specify that there > must be clear steps from there to generating a complete Lojban > grammar, and the number of productions must not explode > exponentially in doing so. Or even: $100 for a counter-proof, $300 for an example with several (let's make it 5 rather than 2) elidable terminators and a demonstration of how to non-explosively add new ones, $500 for a full grammar in less than 2, 000 productions (the yacc grammar is around 500). -Robin -- They say: "The first AIs will be built by the military as weapons." And I'm thinking: "Does it even occur to you to try for something other than the default outcome?" -- http://shorl.com/tydruhedufogre http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/