From nobody@digitalkingdom.org Wed Oct 29 01:34:49 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 29 Oct 2008 01:34:49 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1Kv6Vs-0004Cd-Ou for lojban-list-real@lojban.org; Wed, 29 Oct 2008 01:34:49 -0700 Received: from ug-out-1314.google.com ([66.249.92.172]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1Kv6Vo-0004BO-0Q for lojban-list@lojban.org; Wed, 29 Oct 2008 01:34:48 -0700 Received: by ug-out-1314.google.com with SMTP id 29so528713ugc.36 for ; Wed, 29 Oct 2008 01:34:38 -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:sender :to:subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references :x-google-sender-auth; bh=cb7mYXbjUHKgoNp/1f0mXeFXw8plsOXThqljwJeXRHE=; b=bRYvQzPsxm0aTQMU8mVUnczlmHhyssCcrc47KB+ngwqUXaVBjTa/hLhWSXX+tmLoen G1aIrU7WWPaiTqYiNPXP39JSoFi/qmxYfVwwvE16ZvcadHkpX6D0r/HScRD9HMGRdkhj dEDf+rCPO0iafWpQ42sZjERSnlumC/ny7Q43Q= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=WyxxCBAAQNXYAxNGAgQIAAIg0W9S/uM1WSHeIPrIx2HAh/lf4/xsw3j53acLv/tHfP sMiiF+4hizuLlIzR71CNs8WhWffKm1VNU6tIWrSenTpySQhpJgCvwvsTbBRpbkqKEnxV LIqFzAlyBnbx8mWJKRMwChemlLc0wtNqGKXhk= Received: by 10.103.175.8 with SMTP id c8mr3998888mup.26.1225269277791; Wed, 29 Oct 2008 01:34:37 -0700 (PDT) Received: by 10.103.134.6 with HTTP; Wed, 29 Oct 2008 01:34:37 -0700 (PDT) Message-ID: <3ccac5f10810290134m72624d3ch3dfb5f4084e3c044@mail.gmail.com> Date: Wed, 29 Oct 2008 11:34:37 +0300 From: "Cyril Slobin" To: lojban-list@lojban.org Subject: [lojban] Re: [llg-members] A challenge for computer science/programming geeks: The LLG wants to give you $500! In-Reply-To: <20081029012419.GM26657@digitalkingdom.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20081028215134.GK31434@digitalkingdom.org> <925d17560810281730t6ab2f3c3i860e7b086de5aa4c@mail.gmail.com> <20081029005927.GH26657@digitalkingdom.org> <925d17560810281820m5bf3844ey27fd29da6e44a716@mail.gmail.com> <20081029012419.GM26657@digitalkingdom.org> X-Google-Sender-Auth: 5a551f43006b89a1 X-Spam-Score: -0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 14876 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: cyril@slobin.pp.ru Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list On 10/29/08, Robin Lee Powell wrote: > > A machine that generated its output from such a grammar would > > generate valid Lojban. If you want an unambiguous CFG (which is > > obviously a somewhat harder problem) I think you need to specify > > it. > > Then please, everyone, consider it so specified. Apologies for > triple posting again, but if xorxes is right this is important. Correct me if I mislook something, but without this clarification the task seems to be trivial, isn't it? If we don't care about parsing tree, we can just make all elidable terminators optional and get the solution. Look at a very tiny subset of the language: ::= broda | | nu | nu kei The string "nu broda broda" can be generated in two ways: ((nu broda) broda) and (nu (broda broda)) , but the grammar generates all good strings and only good strings. Therefore unambiguity is the central difficulty there. -- http://slobin.pp.ru/ `When I use a word,' Humpty Dumpty said, `it means just what I choose it to mean' 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.