From lojban+bncCK30vq5WELyxuekEGgRn4HOt@googlegroups.com Wed Jan 12 17:43:41 2011 Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PdCDw-00066R-0l; Wed, 12 Jan 2011 17:43:41 -0800 Received: by pxi19 with SMTP id 19sf116465pxi.16 for ; Wed, 12 Jan 2011 17:43:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:date:from:to:subject :message-id:references:mime-version:in-reply-to:user-agent :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-disposition; bh=On+41T3R0TFiSrCubNl/cAVe3yPbwMztGS1BW1ZikZA=; b=5gmJpgHnNNwHRikKYEeo8n4ecJd8NcaFAc77tC+rkRwrjY3ZSE2cllrFbA2UUJKTvr 248T/+tyD6iNOGiVy+RM1KL8LNe55zigHKfUckVdydxU66jXiaJks63K0D9Y8lkvGBJQ pujN/sS54s2DIjNeGXLDHXWYzSPV7p6cxyi58= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id:references :mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; b=jK0pm3E86Xf/PBRoF6gc9IyxifIzEoGVwzNRPsP8qiSWQ95kGx3WoqSDhsbCrWdQ4k 9l5L8lECVdEd+b4wSjLRBp4C6ApbkJwcqfttOUlrlBDdHhwF0mcdda6HY3WoRSusyfsZ UDRPPX3zbjnA38XN0gdyqatAAcN8QKPzVARAo= Received: by 10.142.241.9 with SMTP id o9mr33044wfh.10.1294883004578; Wed, 12 Jan 2011 17:43:24 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.2.41 with SMTP id 41ls1455258wfb.0.p; Wed, 12 Jan 2011 17:43:23 -0800 (PST) Received: by 10.142.125.16 with SMTP id x16mr350893wfc.43.1294883002981; Wed, 12 Jan 2011 17:43:22 -0800 (PST) Received: by 10.142.125.16 with SMTP id x16mr350891wfc.43.1294883002949; Wed, 12 Jan 2011 17:43:22 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTPS id f13si1420475wfo.0.2011.01.12.17.43.22 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 12 Jan 2011 17:43:22 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1PdCDi-00066C-45 for lojban@googlegroups.com; Wed, 12 Jan 2011 17:43:22 -0800 Date: Wed, 12 Jan 2011 17:43:22 -0800 From: Robin Lee Powell To: Lojban List Subject: Re: [lojban] inconsistency between PEG grammar and CLL 17.4 Message-ID: <20110113014322.GW2132@digitalkingdom.org> References: <20110113012524.GC1262@alice.local> MIME-Version: 1.0 In-Reply-To: <20110113012524.GC1262@alice.local> User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline On Wed, Jan 12, 2011 at 06:25:24PM -0700, .alyn.post. wrote: > [This fell out of my researching SA. tl;dr: I've found two bugs > in BU handling in the PEG grammar.] The CLL *repeatedly* contradicts itself, including in the YACC instructions, on how to handle the various Magic Words. This is why http://www.lojban.org/tiki/tiki-index.php?page=Magic+Words exists. The email threads leading to that were ... extensive. I do not consider the CLL, YACC, or EBNF relevant or authoritative on this issue, since they all contradict each other; all current explorations should be relative to that page. If you want to use one of those sources for evidence that that page is wrong, be my guest, but we've probably been there already. > -> si bu > [ shouldn't and doesn't parse ] > > -> sa bu > [ shouldn't and doesn't parse ] > > -> su bu > text > buClauseNoPre > |- CMAVO > | SU: su > |- CMAVO > BU: bu > > Now wait just a minute here. The rule above *explicitily forbids* > SU. How is it that it is matching? I *think* this is the only case you found where the PEG contradicts the Magic Words page. Yep, that's a bug; I'd love it if you'd suggest a fix/patch. -Robin -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.