From nobody@digitalkingdom.org Thu Dec 25 16:22:36 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 25 Dec 2008 16:22:36 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1LG0TM-0007QM-9I for lojban-list-real@lojban.org; Thu, 25 Dec 2008 16:22:36 -0800 Received: from mail-ew0-f21.google.com ([209.85.219.21]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1LG0TI-0007PM-VH for lojban-list@lojban.org; Thu, 25 Dec 2008 16:22:36 -0800 Received: by ewy14 with SMTP id 14so4047185ewy.10 for ; Thu, 25 Dec 2008 16:22:26 -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=mpFS3do2lp2SXkAWZUp/aG4Ag3si8IprlJFC8op+pgM=; b=LFdnK0RzxXe9JfUN1BxjDMTGulVQmVZ3XxOSnnZu1A3SZOfZgX9mgOeCtNZPVivABL BmR3A/3DqDj3SvEfDWJmrvp1te5VJck8q7tJI0sOtoPce4IoTPUQOBlQnLmH19TMQgiD UD/e0/qF4+bXj3Oc5Ai8ncnuA+LSdIxTWMbPw= 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=wSKqghRsij9eBS8Nu8fZCPtCOzHXpNHBAQTKCUSnvNO1hOyjBHbXBUhhVRpYD/Qi0z RBvziYakFTyH1YRHgkaeHQpedrDDBKcOjE/uF4q28ePVWXzP7Y9AdkGWWGrdZaH8ZsG/ qf47OpG6hj6MfgZTRylS3xJECSCbeIwcScTA4= Received: by 10.210.10.8 with SMTP id 8mr10540981ebj.53.1230250946527; Thu, 25 Dec 2008 16:22:26 -0800 (PST) Received: by 10.210.129.1 with HTTP; Thu, 25 Dec 2008 16:22:26 -0800 (PST) Message-ID: <3ccac5f10812251622v5e4d1389mfc03381c6d041f5f@mail.gmail.com> Date: Fri, 26 Dec 2008 03:22:26 +0300 From: "Cyril Slobin" To: lojban-list@lojban.org Subject: [lojban] Re: gleki xisri'i In-Reply-To: <20081225194149.GA28595@sdf.lonestar.org> 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> X-Google-Sender-Auth: 7a8cb56d7c223b49 X-Spam-Score: -0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 15150 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 Thu, Dec 25, 2008 at 10:41 PM, Minimiscience wrote: > I don't see how it wouldn't be a context-free grammar. A Yacc grammar without > precedence rules is context-free (albeit possibly ambiguous), correct? Let me try. The grammar is context-free. But, when Yacc uses some precedence rule, it's choice is fixed and never traced back. Therefore, some possible parsing trees that can be generated by the CFG, will not be generated by the Yacc, and the phrase in question will be rejected. In such cases, the phrase is not a valid Lojban under the current definition, albeit it can be generated by the Yacc grammar considered as CFG. Example of such invalid phrase: nu le broda broda (Courtesy of Robin; probably he is bored to repeat this again and again, so there is my turn ;-) -- 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.