From matt.mattarn@gmail.com Wed Oct 22 18:09:05 2008 Received: with ECARTIS (v1.0.0; list llg-board); Wed, 22 Oct 2008 18:09:05 -0700 (PDT) Received: from rv-out-0708.google.com ([209.85.198.241]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1KsohC-0005Aj-AB for llg-board@lojban.org; Wed, 22 Oct 2008 18:09:05 -0700 Received: by rv-out-0708.google.com with SMTP id b17so80140rvf.46 for ; Wed, 22 Oct 2008 18:09:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=rK59h60tYUZMSVHrgiEUcRHk7TR6voO7vZSROwFK5A8=; b=fzs55oZQQUh4FkRsb9/LC51+HRpFM9Hx2oar3tUnOrlRcnHsieGlo+ZivhU6YKp8SR DIX9m61JdQonFPyNKKwceox3iu5kfy+pK9kfDuNotbIelXwPnqBRkRk9U3sLMXSP5mLo SBDlbGdXsQPxZQ1voZRFS1KtQWgf2VkeOMkpU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=OeU5gXYt9kacBL00R4DAVFKghtCC6yEH5Ou3lda6vWP4vAxnM//PytBrBRe4b0L60c VPeTGkvGYVYSsUeBsH+XmB9RH/2Ukm6pXL659mIXimiQDv0Bbw0R1Ctt5Oz8+ATJj61H Q9uT95OXASEZ/UmhTdn+7utShAweFHCWcdS+4= Received: by 10.141.68.12 with SMTP id v12mr6882268rvk.111.1224724141447; Wed, 22 Oct 2008 18:09:01 -0700 (PDT) Received: by 10.140.141.20 with HTTP; Wed, 22 Oct 2008 18:09:01 -0700 (PDT) Message-ID: Date: Wed, 22 Oct 2008 21:09:01 -0400 From: "Matt Arnold" To: llg-board@lojban.org Subject: [llg-board] Re: A request to spend money. In-Reply-To: <20081022232701.GH23512@digitalkingdom.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20081022214253.GD23512@digitalkingdom.org> <20081022223521.GB31254@mercury.ccil.org> <20081022225329.GG23512@digitalkingdom.org> <20081022232701.GH23512@digitalkingdom.org> X-Spam-Score: 0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 427 X-ecartis-version: Ecartis v1.0.0 Sender: llg-board-bounce@lojban.org Errors-to: llg-board-bounce@lojban.org X-original-sender: matt.mattarn@gmail.com Precedence: bulk Reply-to: llg-board@lojban.org X-list: llg-board Explain "encode" to me in the context of this sentence. What would I experience that I am not experiencing with jbofi'e? -Matt On Wed, Oct 22, 2008 at 7:27 PM, Robin Lee Powell wrote: > 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/ > > >