From nobody@digitalkingdom.org Fri Dec 26 09:19:12 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 26 Dec 2008 09:19:13 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1LGGLA-0003Ei-Av for lojban-list-real@lojban.org; Fri, 26 Dec 2008 09:19:12 -0800 Received: from mail-ew0-f21.google.com ([209.85.219.21]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1LGGL6-0003D2-Iu for lojban-list@lojban.org; Fri, 26 Dec 2008 09:19:12 -0800 Received: by ewy14 with SMTP id 14so4321945ewy.10 for ; Fri, 26 Dec 2008 09:19:02 -0800 (PST) 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=X5fRf2hbFqM+iau+ouojSBWGfLkQ6oAZiKfj/ha7PqE=; b=yGECFtX/P4REtUzjkbc26UyqkPkDadsXlgtgDqx/Di93OpryknOqY1zx4N6LSL+LI0 5DJJDWddIqmSPj6fwLNhLnAq1nu2tbwhlZvrA6KQe5qQ6NvRfwNJdAzS1qWnJZalm3k8 eNE/UHXx0AtUf1UeVZr+4GWNbAAhShCZ95Xp4= 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=aJnFFoJ9XUSRa6Ml2f0e3VOStLwENmw3wAzEPFlCw93DR/LPU7BCYlSy0vo4yRWfqQ m7vEcY+Jqd2OdAnpsjyX3sklvFdOxZIaYnHOAsTsXa8r3/Gjt5t7tTVY9Y98DbABhKAR UZp5fs2GDsAIboSIjxQL05Gl2iSbqha6nq4lU= Received: by 10.210.10.1 with SMTP id 1mr5461738ebj.163.1230311942398; Fri, 26 Dec 2008 09:19:02 -0800 (PST) Received: by 10.210.73.20 with HTTP; Fri, 26 Dec 2008 09:19:02 -0800 (PST) Message-ID: <3ccac5f10812260919p7f083cccma5e7f6cdefc8ee6b@mail.gmail.com> Date: Fri, 26 Dec 2008 20:19:02 +0300 From: "Cyril Slobin" To: lojban-list@lojban.org Subject: [lojban] Re: gleki xisri'i In-Reply-To: <737b61f30812260815u54db635bn757d17a6739bbaec@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20081225043944.GA29775@sdf.lonestar.org> <20081225094052.GH10930@digitalkingdom.org> <20081225194149.GA28595@sdf.lonestar.org> <3ccac5f10812251622v5e4d1389mfc03381c6d041f5f@mail.gmail.com> <3ccac5f10812251650l45c44633ufbdbd196ec2a8771@mail.gmail.com> <20081226032911.GM10930@digitalkingdom.org> <3ccac5f10812252018h34447cabm8bbb7f819c6ac1af@mail.gmail.com> <925d17560812260642h57bfe202i72eb4affef82ac93@mail.gmail.com> <737b61f30812260815u54db635bn757d17a6739bbaec@mail.gmail.com> X-Google-Sender-Auth: 91c2d8f68e69e386 X-Spam-Score: -0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 15167 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 Fri, Dec 26, 2008 at 7:15 PM, Chris Capel wrote: > Robin, would a proof that a CFG could not correctly parse this one > specific example suffice for the lesser prize? I believe that this one specific example *can* be correctly parsed by CFG. I'll try to write such CFG for you tonight. The problem here is that correct CFG is much longer than "traditional" one. And, even if the similar transformation for the whole Lojban grammar is possible, the result will be far too huge to be used in practice. -- 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.