From lojban+bncCK30vq5WENTgjugEGgQc-E-0@googlegroups.com Sat Dec 11 09:09:55 2010 Received: from mail-pv0-f189.google.com ([74.125.83.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PRSxC-0003gM-Ek; Sat, 11 Dec 2010 09:09:54 -0800 Received: by pvh1 with SMTP id 1sf1518254pvh.16 for ; Sat, 11 Dec 2010 09:09:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received: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=cJ5hRpYWCJ9sV9jhq28I5fGM4xCcoN1AXnVoev2NhAQ=; b=hFVTjvcd4gmm1mm3KRiljs0yUXHh3CgCyo85oaXCdEto8EOiL1m0QFGQOYsKywiTAm 63yaliuZrTJDG5Zz9cXr7pyeNfkEYGiMeN1DD7WrDeRKRkt5xDyfVnyVqLAs0RwSB60o cY4XAce2yLXhja+lVn/bOd1znaml3gs8m9crQ= 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=ebqPEcqGpegAdltod5niY8wVIrNLxjJyGM5+scy2flAuXO3npv3lU/raTATJF95O66 ve79iTeGKJHOyyjwtx31rrcjgfk2DZ33S0E/4fys0WIa7rEk9WFbEHdDHxZffSRHhhtt 3OUjIeLG3s0n7WI2SmqBWvLyJUV42KaPUWgZQ= Received: by 10.143.153.15 with SMTP id f15mr98881wfo.36.1292087380042; Sat, 11 Dec 2010 09:09:40 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.207.8 with SMTP id e8ls1676902wfg.2.p; Sat, 11 Dec 2010 09:09:39 -0800 (PST) Received: by 10.142.199.7 with SMTP id w7mr1558994wff.15.1292087379235; Sat, 11 Dec 2010 09:09:39 -0800 (PST) Received: by 10.142.199.7 with SMTP id w7mr1558993wff.15.1292087379201; Sat, 11 Dec 2010 09:09:39 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id f13si4842725wfo.0.2010.12.11.09.09.38; Sat, 11 Dec 2010 09:09:39 -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 1PRSx0-0003gE-A9 for lojban@googlegroups.com; Sat, 11 Dec 2010 09:09:38 -0800 Date: Sat, 11 Dec 2010 09:09:38 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Lojban CFG Questions Message-ID: <20101211170937.GT27025@digitalkingdom.org> References: <201012101024.39320.roman_naumann@fastmail.fm> <4D03599A.1090403@lojban.org> <20101211163218.GR27025@digitalkingdom.org> <20101211164405.GA18570@alice.local> <20101211165142.GS27025@digitalkingdom.org> <20101211170449.GB18570@alice.local> MIME-Version: 1.0 In-Reply-To: <20101211170449.GB18570@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 Sat, Dec 11, 2010 at 10:04:49AM -0700, .alyn.post. wrote: > On Sat, Dec 11, 2010 at 08:51:42AM -0800, Robin Lee Powell wrote: > > On Sat, Dec 11, 2010 at 09:44:05AM -0700, .alyn.post. wrote: > > > On Sat, Dec 11, 2010 at 08:32:18AM -0800, Robin Lee Powell > > > wrote: > > > > On Sat, Dec 11, 2010 at 05:59:38AM -0500, Bob LeChevalier, > > > > President and Founder - LLG wrote: > > > > > > > > > > I don't know the answer to your questions, but the guy who > > > > > developed the elidable terminator formalization, > > > > > > > > It's not a formalization; that's the whole point here. The > > > > yacc version "handles" them by erroring out and running some > > > > code to handle the errors. > > > > > > > > > > Do you know what camxes or jbofi'e do in this case? Is it the > > > same behavior? > > > > camxes is PEG; PEG has no problems with the elidable > > terminators. > > > AFAIK, jbofihe uses the error trick. > > Having spent the last months with my head thoroughly in PEG, I > have been looking at this problem and wondering what the fuss was > about. Hence "CFG" in the subject line. :D PEGs and CFGs are not equivalent. No-one's really sure where PEGs lie on the formal grammar stack. http://en.wikipedia.org/wiki/Formal_grammar#The_Chomsky_hierarchy -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.